Abstract
It is proved that the existence of supercompact cardinal is equivalent to a certain Skolem-Löwenheim Theorem for second order logic, whereas the existence of extendible cardinal is equivalent to a certain compactness theorem for that logic. It is also proved that a certain axiom schema related to model theory implies the existence of many extendible cardinals.
Similar content being viewed by others
References
K. Kunen,Elementary embeddings and infinitary combinatorics, (to appear).
M. Magidor,There are many normal ultrafilters corresponding to a supercompact cardinal, Israel J. Math.9 (1971), 186–192.
Motangue-Vaught,Natural models of set theory, Fund. Math.47 (1959), 219–242.
W. N. Reinhardt and R. Solovay,Strong axioms of infinity and elementary embeddings, (to appear).
Author information
Authors and Affiliations
Additional information
This paper is a part of the author’s Ph.D. Thesis prepared at the Hebrew University of Jerusalem under the supervision of Professor Azriel Levy, for whose help and encouragement the author is greatly indebted.
Rights and permissions
About this article
Cite this article
Magidor, M. On the role of supercompact and extendible cardinals in logic. Israel J. Math. 10, 147–157 (1971). https://doi.org/10.1007/BF02771565
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02771565