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
DOI: https://doi.org/10.1090/S0002-9947-1963-0153554-9
MathSciNet review: 0153554
Full-text PDF

References | Similar Articles | Additional Information

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

  • [1] R. M. Smullyan, Theory of formal systems, Annals of Mathematics Studies, No. 47, Princeton Univ. Press, Princeton, N.J., 1961. MR 0121300 (22:12042)
  • [2] S. C. Kleene, Introduction to mathematics, Van Nostrand, Princeton, N. J. 1952. MR 0051790 (14:525m)
  • [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 (17:118g)
  • [5] R. M. Smullyan, Undecidability and recursive inseparability, Z. Math. Logik Grundlagen Math. 4 (1958), 143-147. MR 0099293 (20:5734)
  • [6] J. R. Schoenfield, Undecidable and creative theories, Fund. Math. 48 (1961), 171-179. MR 0130177 (24:A44)
  • [7] Putnam, H., Decidability and essential undecidability, J. Symbolic Logic. 22 (1957), 39-54. MR 0089154 (19:626a)
  • [8] Smullyan, R. M., Theories with effectively inseparable nuclei, Z. Math Logik Grundlagen Math. 6 (1960), 219-224. MR 0126379 (23:A3675)
  • [9] A.A. Muchnik, Isomorphisms of systems recursively enumerable sets with effective properties, Trudy Moskov Mat. Obšč. 7 (1958), 407-412. MR 0105356 (21:4098)

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

American Mathematical Society