Two Undecidability Results Using Modified Boolean Powers

Canadian Journal of Mathematics - Canada
doi 10.4153/cjm-1982-033-6
Full Text
Abstract

Available in full text

Categories
Mathematics
Date
Authors
Publisher

Canadian Mathematical Society