Chains of end elementary extensions of models of set theory

DOI10.2307/2586730MaRDI QIDQ4227883zbMATH OpenOpenAlexFDO

Authors Andrés Villaveces

Publication date 27 June 1999

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9611209

zbMATH Keywords

elementary end extensioninaccessible cardinalRamsey cardinalunfoldable cardinal

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Large cardinals (03E55)

Abstract: Large cardinals arising from the existence of arbitrarily long end elementary extension chains over models of set theory are studied here. In particular, we show that the large cardinals obtained that way (`Unfoldable cardinals') behave as a `boundary' between properties consistent with `V=L' and existence of indiscernibles. We also provide an `embedding characterisation' of the unfoldable cardinals and study their preservation and destruction by various different forcings.

Recommendations

• scientific article; zbMATH DE number 175741
• Elementary extensions of models of set theory
• On Certain Elementary Extensions of Models of Set Theory
• scientific article; zbMATH DE number 5503809
• Elementary chains and \(C ^{(n)}\)-cardinals
• End extensions of models of arithmetic
• Elementary Extensions of Models of the Alternative Set Theory
• Blunt and topless end extensions of models of set theory
• Minimal elementary extensions of models of set theory and arithmetic
• scientific article; zbMATH DE number 4055591

Cites work

• Boolean extensions which efface the Mahlo property
• Filters and large cardinals
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing

Cited in

(27)

• Strongly uplifting cardinals and the boldface resurrection axioms
• Resurrection axioms and uplifting cardinals
• End extending models of set theory via power admissible covers
• \(0^{\sharp}\) and elementary end extensions of \(V_{\kappa}\)
• Unfoldable cardinals and the GCH
• Ramsey-like cardinals. II.
• Blunt and topless end extensions of models of set theory
• Scott's problem for Proper Scott sets
• The proper and semi-proper forcing axioms for forcing notions that preserve ℵ₂ or ℵ₃
• Normal measures on a tall cardinal
• Hierarchies of forcing axioms, the continuum hypothesis and square principles
• Heights of models of ZFC and the existence of end elementary extensions II
• The least weakly compact cardinal can be unfoldable, weakly measurable and nearly \(\theta\)-supercompact
• ARONSZAJN TREE PRESERVATION AND BOUNDED FORCING AXIOMS
• The Hurewicz dichotomy for generalized Baire spaces
• Strong unfoldability, shrewdness and combinatorial consequences
• Compactness phenomena around the class of locally projective modules
• Canonical fragments of the strong reflection principle
• Strongly unfoldable cardinals made indestructible
• Strongly unfoldable, splitting and bounding
• Patterns of structural reflection in the large-cardinal hierarchy
• Strong measure zero sets ON 2^ for inaccessible
• Ineffable sets and large cardinals
• On unfoldable cardinals, -closed cardinals, and the beginning of the inner model hierarchy
• Local Hanf-Tarski numbers
• Diamond (on the regulars) can fail at any strongly unfoldable cardinal
• Double helix in large large cardinals and iteration of elementary embeddings

This page was built for publication: Chains of end elementary extensions of models of set theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4227883)