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

inaccessible cardinalRamsey cardinalelementary end extensionunfoldable cardinal

Mathematics Subject Classification ID

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

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

(24)

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

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)