Creativity and effective inseparability
HTML articles powered by AMS MathViewer
- by Raymond M. Smullyan PDF
- Trans. Amer. Math. Soc. 109 (1963), 135-145 Request permission
References
- Raymond M. Smullyan, Theory of formal systems, Annals of Mathematics Studies, No. 47, Princeton University Press, Princeton, N.J., 1961. MR 0121300
- Stephen Cole Kleene, Introduction to metamathematics, D. Van Nostrand Co., Inc., New York, N. Y., 1952. MR 0051790 Alfred Tarski, Andrzej Mostowski and Raphael M. Robinson, Undecidabe theories, Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1953.
- John Myhill, Creative sets, Z. Math. Logik Grundlagen Math. 1 (1955), 97–108. MR 71379, DOI 10.1002/malq.19550010205
- Raymond M. Smullyan, Undecidability and recursive inseparability, Z. Math. Logik Grundlagen Math. 4 (1958), 143–147. MR 99293, DOI 10.1002/malq.19580040705
- J. R. Shoenfield, Undecidable and creative theories, Fund. Math. 49 (1960/61), 171–179. MR 130177, DOI 10.4064/fm-49-2-171-179
- Hilary Putnam, Decidability and essential undecidability, J. Symbolic Logic 22 (1957), 39–54. MR 89154, DOI 10.2307/2964057
- Raymond M. Smullyan, Theories with effectively inseparable nuclei, Z. Math. Logik Grundlagen Math. 6 (1960), 219–224. MR 126379, DOI 10.1002/malq.19600061502
- 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
Additional Information
- © Copyright 1963 American Mathematical Society
- 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