“Recursive isomorphism” and effectively extensible theories
HTML articles powered by AMS MathViewer
- by Marian Boykan Pour-El PDF
- Bull. Amer. Math. Soc. 71 (1965), 551-555
References
-
1. G. Kreisel, Relative consistency and translatability(abstract), J. Symbolic Logic23 (1958), 108-109.
- John Myhill, Creative sets, Z. Math. Logik Grundlagen Math. 1 (1955), 97–108. MR 71379, DOI 10.1002/malq.19550010205
- Raymond M. Smullyan, Theory of formal systems, Annals of Mathematics Studies, No. 47, Princeton University Press, Princeton, N.J., 1961. MR 0121300, DOI 10.1515/9781400882007
- Alfred Tarski, Undecidable theories, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1953. In collaboration with Andrzej Mostowski and Raphael M. Robinson. MR 0058532
Additional Information
- Journal: Bull. Amer. Math. Soc. 71 (1965), 551-555
- DOI: https://doi.org/10.1090/S0002-9904-1965-11325-8
- MathSciNet review: 0175783