Report on attainability of systems of identities
HTML articles powered by AMS MathViewer
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), 555-558
- DOI: https://doi.org/10.1090/S0002-9904-1965-11328-3
- MathSciNet review: 0177052