On the role of supercompact and extendible cardinals in logic

DOI10.1007/BF02771565zbMath0263.02034MaRDI QIDQ2561212

Menachem Magidor

Publication date: 1971

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

03C99: Model theory

03E55: Large cardinals

Related Items

Menas’ Result is Best Possible, Combinatorial Characterization of Supercompact Cardinals, On the strong equality between supercompactness and strong compactness, Positive results in abstract model theory: a theory of compact logics, \(\omega {}^*_ 2U(\omega_ 2)\) can be \(C^*\)-embedded in \(\beta \omega_ 2\), Integer-valued functions and increasing unions of first countable spaces, Filter spaces: Towards a unified theory of large cardinal and embedding axioms, On the least strongly compact cardinal, Patterns of compact cardinals, PMEA implies proposition P, Compact spaces, compact cardinals, and elementary submodels, More set-theory for topologists, On preaccessible categories, Abstract logic and set theory. II. Large cardinals, On nonstandard models in higher order logic, Many-times huge and superhuge cardinals, Vopěnka's principle and compact logics, Supercompact cardinals, trees of normal ultrafilters, and the partition property, P_κλ combinatorics II: The RK ordering beneath a supercompact measure, The Härtig quantifier: a survey

Cites Work

• There are many normal ultrafilters corresponding to a supercompact cardinal
• Elementary embeddings and infinitary combinatorics
• Natural models of set theories
• Strong axioms of infinity and elementary embeddings