Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 

 

Creativity and effective inseparability


Author: Raymond M. Smullyan
Journal: Trans. Amer. Math. Soc. 109 (1963), 135-145
MSC: Primary 02.70
MathSciNet review: 0153554
Full-text PDF Free Access

References | Similar Articles | Additional Information

References [Enhancements On Off] (What's this?)

  • [1] Raymond M. Smullyan, Theory of formal systems, Annals of Mathematics Studies, No. 47, Princeton University Press, Princeton, N.J., 1961. MR 0121300
  • [2] Stephen Cole Kleene, Introduction to metamathematics, D. Van Nostrand Co., Inc., New York, N. Y., 1952. MR 0051790
  • [3] Alfred Tarski, Andrzej Mostowski and Raphael M. Robinson, Undecidabe theories, Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1953.
  • [4] John Myhill, Creative sets, Z. Math. Logik Grundlagen Math. 1 (1955), 97–108. MR 0071379
  • [5] Raymond M. Smullyan, Undecidability and recursive inseparability, Z. Math. Logik Grundlagen Math. 4 (1958), 143–147. MR 0099293
  • [6] J. R. Shoenfield, Undecidable and creative theories, Fund. Math. 49 (1960/1961), 171–179. MR 0130177
  • [7] Hilary Putnam, Decidability and essential undecidability, J. Symb. Logic 22 (1957), 39–54. MR 0089154
  • [8] Raymond M. Smullyan, Theories with effectively inseparable nuclei, Z. Math. Logik Grundlagen Math. 6 (1960), 219–224. MR 0126379
  • [9] A. A. Mučnik, Isomorphism of systems of recursively enumerable sets with effective properties, Trudy Moskov. Mat. Obšč. 7 (1958), 407–412 (Russian). MR 0105356

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 02.70

Retrieve articles in all journals with MSC: 02.70


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1963-0153554-9
Article copyright: © Copyright 1963 American Mathematical Society