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
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
