On the role of supercompact and extendible cardinals in logic
From MaRDI portal
Publication:2561212
DOI10.1007/BF02771565zbMath0263.02034OpenAlexW2048739378MaRDI QIDQ2561212
Publication date: 1971
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02771565
Related Items
Compact spaces, compact cardinals, and elementary submodels ⋮ LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION ⋮ LOGICALITY AND MODEL CLASSES ⋮ IN SEARCH OF ULTIMATE-LTHE 19TH MIDRASHA MATHEMATICAE LECTURES ⋮ Small embedding characterizations for large cardinals ⋮ On nonstandard models in higher order logic ⋮ The Härtig quantifier: a survey ⋮ More set-theory for topologists ⋮ Many-times huge and superhuge cardinals ⋮ ON THE SYMBIOSIS BETWEEN MODEL-THEORETIC AND SET-THEORETIC PROPERTIES OF LARGE CARDINALS ⋮ ON ${\omega _1}$-STRONGLY COMPACT CARDINALS ⋮ On preaccessible categories ⋮ Filter spaces: Towards a unified theory of large cardinal and embedding axioms ⋮ Patterns of compact cardinals ⋮ Strong unfoldability, shrewdness and combinatorial consequences ⋮ Subcompact cardinals, squares, and stationary reflection ⋮ Structural reflection, shrewd cardinals and the size of the continuum ⋮ Model theoretic characterizations of large cardinals ⋮ Vopěnka's principle and compact logics ⋮ Supercompact cardinals, trees of normal ultrafilters, and the partition property ⋮ Weak saturation properties and side conditions ⋮ Indestructibility properties of remarkable cardinals ⋮ Obtaining Woodin’s cardinals ⋮ \(C ^{(n)}\)-cardinals ⋮ Reflecting measures ⋮ Pκλ combinatorics II: The RK ordering beneath a supercompact measure ⋮ On the least strongly compact cardinal ⋮ Menas’ Result is Best Possible ⋮ Guessing models and generalized Laver diamond ⋮ Integer-valued functions and increasing unions of first countable spaces ⋮ On the strong equality between supercompactness and strong compactness ⋮ Characterizing large cardinals through Neeman's pure side condition forcing ⋮ Abstract logic and set theory. II. Large cardinals ⋮ Guessing models and the approachability ideal ⋮ Generic Vopěnka's principle, remarkable cardinals, and the weak proper forcing axiom ⋮ Magidor-Malitz reflection ⋮ WEAKLY REMARKABLE CARDINALS, ERDŐS CARDINALS, AND THE GENERIC VOPĚNKA PRINCIPLE ⋮ Virtual large cardinals ⋮ Partial strong compactness and squares ⋮ ON LÖWENHEIM–SKOLEM–TARSKI NUMBERS FOR EXTENSIONS OF FIRST ORDER LOGIC ⋮ The hyperuniverse program ⋮ PMEA implies proposition P ⋮ Huge reflection ⋮ Positive results in abstract model theory: a theory of compact logics ⋮ On the consistency of local and global versions of Chang’s Conjecture ⋮ Boolean-valued second-order logic ⋮ \(\omega {}^*_ 2U(\omega_ 2)\) can be \(C^*\)-embedded in \(\beta \omega_ 2\) ⋮ Combinatorial Characterization of Supercompact Cardinals ⋮ MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING
Cites Work
