Summary
Assuming the consistency ofZF + “There is an inaccessible number of inaccessibles”, we prove that Kelley Morse theory plus types is not a conservative extension of Kelley-Morse theory.
Similar content being viewed by others
References
Chuaqui, R.: Internal and forcing models for the impredicative theory of classes. Diss. Math. (1980)
Reinhardt, W.N., Chuaqui, R.: Types in class set theory. In: di Prisco, C. (ed.) Methods in mathematical logic. Proc. of a Conference held at Caracas in 1983. (Lect. Notes Math. vol. 1130, pp. 385–394) Berlin Heidelberg New York: Springer 1985
Judah, H.: Tipos de Buen Orden en la teoría impredicativa de clases Kelley-Morse. Facultad de Matemáticas, Pontificia Universidad Católica de Chile 1983
Jech, T.: Set Theory. New York San Francisco London: Academic Press 1978
Marek, W., Zbierski, P.Z.: Axiom of choice in impredicative set theory. Boll. L'Academic Polonaise Sci. Serie des Sciences Math. Astr. et Phys. 20,4 (1972)
Author information
Authors and Affiliations
Additional information
This paper was partially supported by: “Dirección de Investigación de la Pontificia Universidad Católica de Chile (DIUC)”; “Fondo Nacional de Desarrollo Científico y Tecnológico” (FONDECYT)
Rights and permissions
About this article
Cite this article
Judah, H., Marshall, M.V. Kelley-Morse+Types of well order is not a conservative extension of Kelley Morse. Arch Math Logic 33, 13–21 (1994). https://doi.org/10.1007/BF01275467
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01275467