The core model
From MaRDI portal
Publication:3905272
DOI10.1016/0003-4843(81)90011-5zbMath0457.03051OpenAlexW4213337468MaRDI QIDQ3905272
Publication date: 1981
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(81)90011-5
Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Set-theoretic model theory (03C55)
Related Items (53)
On -Strongly Measurable Cardinals ⋮ How recent work in mathematical logic relates to the foundations of mathematics ⋮ Applications of the Covering Lemma for Sequences of Measures ⋮ The real core model and its scales ⋮ Logical dreams ⋮ Ramsey cardinals, α-Erdös cardinals, and the core model ⋮ Combinatorial principles in the core model for one Woodin cardinal ⋮ The consistency strength of projective absoluteness ⋮ A hierarchy of Ramsey cardinals ⋮ Regularity of ultrafilters and the core model ⋮ Cardinal arithmetic for skeptics ⋮ Arbitrary torsion classes and almost free abelian groups ⋮ A covering lemma for \(K(\mathbb{R})\) ⋮ Determinacy of refinements to the difference hierarchy of co-analytic sets ⋮ The comparison lemma ⋮ All uncountable cardinals can be singular ⋮ STRUCTURAL PROPERTIES OF THE STABLE CORE ⋮ Simplest possible locally definable well-orders ⋮ Scales of minimal complexity in \({K(\mathbb{R})}\) ⋮ Measurable cardinals and good ‐wellorderings ⋮ Global square and mutual stationarity at the \(\aleph_n\) ⋮ Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties ⋮ A maximal definable sigma-ideal over \(omega_ 1\). ⋮ Singular Cardinals and the PCF Theory ⋮ Saturation Properties of Ideals in Generic Extensions. I ⋮ Smooth categories and global \(\square\) ⋮ If all Normal Moore Spaces are Metrizable, then there is an Inner Model with a Measurable Cardinal ⋮ On the transversal hypothesis and the weak kurepa hypothesis ⋮ A brief account of recent developments in inner model theory ⋮ Homogeneity for Open Partitions of Pairs of Reals ⋮ Iteration Trees ⋮ The covering lemma up to a Woodin cardinal ⋮ Making all cardinals almost Ramsey ⋮ Core models ⋮ The core model for sequences of measures. I ⋮ Supplements of bounded permutation groups ⋮ Strong partition cardinals and determinacy in \(K(\mathbb R)\) ⋮ The consistency strength of choiceless failures of SCH ⋮ Jónsson cardinals, Erdős cardinals, and the core model ⋮ Inner Models and Ultrafilters In L(ℝ) ⋮ The consistency strength of \(\aleph_\omega\) and \(\aleph_{\omega_1}\) being Rowbottom cardinals without the axiom of choice ⋮ Representing Sets of Ordinals as Countable Unions of Sets in the Core Model ⋮ Indiscernible sequences for extenders, and the singular cardinal hypothesis ⋮ Strong cardinals in the core model ⋮ Inner Model Operators and the Continuum Hypothesis ⋮ On the consistency strength of accessible Jonsson cardinals and of the weak Chang conjecture ⋮ Is there a set of reals not in \(K(\mathbb{R})\)? ⋮ The fine structure of real mice ⋮ Large cardinals, inner models, and determinacy: an introductory overview ⋮ KWithout the Measurable ⋮ The core model for almost linear iterations ⋮ Instances of the conjecture of Chang ⋮ The maximality of the core model
This page was built for publication: The core model
