Comparison of subtheories
HTML articles powered by AMS MathViewer
- by Azriel Lévy PDF
- Proc. Amer. Math. Soc. 9 (1958), 942-945 Request permission
Erratum: Proc. Amer. Math. Soc. 10 (1959), 1000-1000.
References
- Paul Bernays, A system of axiomatic set theory. VI, J. Symbolic Logic 13 (1948), 65–79. MR 25421, DOI 10.2307/2267328
- Elliott Mendelson, Some proofs of independence in axiomatic set theory, J. Symbolic Logic 21 (1956), 291–303. MR 84463, DOI 10.2307/2269104 R. Montague, Nonfinitizable and essentially nonfinitizable theories, Bull. Amer. Math. Soc. Abstract 61-2-344.
- Andrzej Mostowski, An undecidable arithmetical statement, Fund. Math. 36 (1949), 143–164. MR 35721, DOI 10.4064/fm-36-1-143-164
- Andrzej Mostowski, Some impredicative definitions in the axiomatic set-theory, Fund. Math. 37 (1950), 111–124. MR 41083, DOI 10.4064/fm-37-1-111-124
- J. C. Shepherdson, Inner models for set theory. I, J. Symbolic Logic 16 (1951), 161–190. MR 45073, DOI 10.2307/2266389
- 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 1958 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 9 (1958), 942-945
- MSC: Primary 02.00
- DOI: https://doi.org/10.1090/S0002-9939-1958-0103151-X
- MathSciNet review: 0103151