Large cardinals and definable counterexamples to the continuum hypothesis
From MaRDI portal
Publication:1902975
DOI10.1016/0168-0072(94)00031-WzbMath0837.03040WikidataQ56547401 ScholiaQ56547401MaRDI QIDQ1902975
Menachem Magidor, Matthew Foreman
Publication date: 13 May 1996
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
forcinglarge cardinalscontinuum hypothesisChang's conjecturereal numbersconstructible inner modelnon-reflecting stationary setsnon-stationary towers
Related Items (51)
Compactness versus hugeness at successor cardinals ⋮ Canonical structure in the universe of set theory. I ⋮ Smoke and mirrors: combinatorial properties of small cardinals equiconsistent with huge cardinals ⋮ Determinacy from strong reflection ⋮ The \(\ast\)-variation of the Banach-Mazur game and forcing axioms ⋮ Preserving levels of projective determinacy by tree forcings ⋮ Martin's maximum and tower forcing ⋮ In memoriam: James Earl Baumgartner (1943--2011) ⋮ HAPPY AND MAD FAMILIES INL(ℝ) ⋮ Some basic thoughts on the cofinalities of Chang structures with an application to forcing ⋮ Weak saturation properties and side conditions ⋮ Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers ⋮ A characterization of \(\square(\kappa^{+})\) in extender models ⋮ What makes the continuum ℵ₂ ⋮ The PCF conjecture and large cardinals ⋮ Lower consistency bounds for mutual stationarity with divergent cofinalities and limited covering ⋮ GENERIC LARGE CARDINALS AS AXIOMS ⋮ An undecidable extension of Morley's theorem on the number of countable models ⋮ On the universality of the nonstationary ideal ⋮ Reflection principles, GCH and the uniformization properties ⋮ Calculating quotient algebras of generic embeddings ⋮ Consistency strength of higher Chang's conjecture, without CH ⋮ κ-stationary subsets of , infinitary games, and distributive laws in Boolean algebras ⋮ A general Mitchell style iteration ⋮ Strongly proper forcing and some problems of Foreman ⋮ SQUARES, SCALES AND STATIONARY REFLECTION ⋮ THE EIGHTFOLD WAY ⋮ Inner models from extended logics: Part 1 ⋮ Proper forcing and L(ℝ) ⋮ Thin equivalence relations and inner models ⋮ A new Löwenheim-Skolem theorem ⋮ PFA and ideals on \(\omega_{2}\) whose associated forcings are proper ⋮ IDEAL PROJECTIONS AND FORCING PROJECTIONS ⋮ Terminal notions in set theory ⋮ What do we need large cardinals for? ⋮ Canonical structure in the universe of set theory. II. ⋮ Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on \(P_x(\lambda)\) ⋮ Terminal Notions ⋮ CHANG’S CONJECTURE, GENERIC ELEMENTARY EMBEDDINGS AND INNER MODELS FOR HUGE CARDINALS ⋮ 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 ⋮ Global Chang's conjecture and singular cardinals ⋮ Chang's conjecture and semiproperness of nonreasonable posets ⋮ Some applications of mixed support iterations ⋮ Glimm-Effros for coanalytic equivalence relations ⋮ DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS ⋮ Club guessing sequences and filters ⋮ Forcing notions in inner models ⋮ Nonreflecting stationary sets in \(\mathcal P_{\kappa}\lambda\) ⋮ Prevalence of Generic Laver Diamond ⋮ Proper Forcing and Remarkable Cardinals ⋮ Coding into 𝐾 by reasonable forcing
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Around classification theory of models
- Martin's maximum, saturated ideals, and nonregular ultrafilters. I
- Some downwards transfer properties for \(\aleph _ 2\)
- Descriptive set theory
- Some consequences of MA + non wKH
- Proper forcing
- On the size of closed unbounded sets
- On co-\(\kappa\)-Souslin relations
- A basis theorem for \(\sum^ 1_ 3\) sets of reals
- A model of set-theory in which every set of reals is Lebesgue measurable
- Counting the number of equivalence classes of Borel and coanalytic equivalence relations
- Forcing closed unbounded sets
- Supercompact cardinals, sets of reals, and weakly homogeneous trees
- A Proof of Projective Determinacy
- Saturation Properties of Ideals in Generic Extensions. I
- Long projective wellorderings
- Saturated ideals
- Reflecting stationary sets
- Advances in Cardinal Arithmetic
This page was built for publication: Large cardinals and definable counterexamples to the continuum hypothesis
