Axiomization of induced theories
HTML articles powered by AMS MathViewer
- by Azriel Lévy PDF
- Proc. Amer. Math. Soc. 12 (1961), 251-253 Request permission
References
- William Craig, On axiomatizability within a system, J. Symbolic Logic 18 (1953), 30–32. MR 55278, DOI 10.2307/2266324
- R. Montague, Semantical closure and non-finite axiomatizability. I, Infinitistic Methods (Proc. Sympos. Foundations of Math., Warsaw, 1959), Pergamon, Oxford; Państwowe Wydawnictwo Naukowe, Warsaw, 1961, pp. 45–69. MR 0150033 K. Gödel, The consistency of the continuum hypothesis, Princeton, N. J., Princeton University Press, 1953.
- I. L. Novak, A construction for models of consistent systems, Fund. Math. 37 (1950), 87–110. MR 41082, DOI 10.4064/fm-37-1-87-110
- Joseph R. Shoenfield, A relative consistency proof, J. Symbolic Logic 19 (1954), 21–28. MR 60433, DOI 10.2307/2267646
- 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
- © Copyright 1961 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 12 (1961), 251-253
- MSC: Primary 02.54
- DOI: https://doi.org/10.1090/S0002-9939-1961-0122702-2
- MathSciNet review: 0122702