The core model

DOI10.1016/0003-4843(81)90011-5MaRDI QIDQ3905272zbMATH OpenOpenAlexFDO

Authors A. J. Dodd, Ronald Jensen

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

zbMATH Keywords

covering lemmageneralized continuum hypothesisinner modelmeasurable cardinalmouse

Mathematics Subject Classification ID

Set-theoretic model theory (03C55) Continuum hypothesis and Martin's axiom (03E50) Large cardinals (03E55)

Cited in

(57)

• Instances of the conjecture of Chang
• How recent work in mathematical logic relates to the foundations of mathematics
• Regularity of ultrafilters and the core model
• All uncountable cardinals can be singular
• A maximal definable sigma-ideal over \(omega_ 1\).
• Is there a set of reals not in \(K(\mathbb{R})\)?
• The core model for almost linear iterations
• Determinacy of refinements to the difference hierarchy of co-analytic sets
• The real core model and its scales
• Combinatorial principles in the core model for one Woodin cardinal
• The consistency strength of projective absoluteness
• Smooth categories and global
• Strong partition cardinals and determinacy in \(K(\mathbb R)\)
• Large cardinals, inner models, and determinacy: an introductory overview
• The consistency strength of \(\aleph_\omega\) and \(\aleph_{\omega_1}\) being Rowbottom cardinals without the axiom of choice
• A hierarchy of Ramsey cardinals
• K without the measurable
• Simplest possible locally definable well-orders
• Applications of the Covering Lemma for Sequences of Measures
• Homogeneity for Open Partitions of Pairs of Reals
• Representing Sets of Ordinals as Countable Unions of Sets in the Core Model
• A brief account of recent developments in inner model theory
• Core models
• The core model for sequences of measures. I
• Inner Models and Ultrafilters In L(ℝ)
• Inner Model Operators and the Continuum Hypothesis
• On the transversal hypothesis and the weak kurepa hypothesis
• Saturation Properties of Ideals in Generic Extensions. I
• If all Normal Moore Spaces are Metrizable, then there is an Inner Model with a Measurable Cardinal
• Ramsey cardinals, α-Erdös cardinals, and the core model
• Cardinal arithmetic for skeptics
• Scales of minimal complexity in \({K(\mathbb{R})}\)
• The fine structure of real mice
• The maximality of the core model
• Iteration Trees
• Supplements of bounded permutation groups
• Logical dreams
• Singular Cardinals and the PCF Theory
• The consistency strength of choiceless failures of SCH
• Jónsson cardinals, Erdős cardinals, and the core model
• Measurable cardinals and good \(\Sigma_1(\kappa)\)-wellorderings
• On -Strongly Measurable Cardinals
• Arbitrary torsion classes and almost free abelian groups
• Indiscernible sequences for extenders, and the singular cardinal hypothesis
• Strong cardinals in the core model
• The comparison lemma
• STRUCTURAL PROPERTIES OF THE STABLE CORE
• Global square and mutual stationarity at the \(\aleph_n\)
• Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties
• The covering lemma up to a Woodin cardinal
• More on blurry hod
• Origin and development of the theory of coremodels. I
• Origin and development of the theory of coremodels. II
• Models for short sequences of measures in the cofinality- constructible model
• On the consistency strength of accessible Jonsson cardinals and of the weak Chang conjecture
• A covering lemma for \(K(\mathbb{R})\)
• Making all cardinals almost Ramsey

This page was built for publication: The core model

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