Inner models and large cardinals
From MaRDI portal
Publication:5950797
zbMath0987.03002MaRDI QIDQ5950797
Publication date: 17 December 2001
Published in: De Gruyter Series in Logic and Its Applications (Search for Journal in Brave)
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)
Related Items (44)
On -Strongly Measurable Cardinals ⋮ The spectrum of elementary embeddings \(j: V \to V\) ⋮ The structure of the Mitchell order. I ⋮ The Mitchell order below rank-to-rank ⋮ The large cardinal strength of weak Vopenka’s principle ⋮ CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL ⋮ Hod mice and the Mouse Set Conjecture ⋮ -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders ⋮ A characterization of \(\square(\kappa^{+})\) in extender models ⋮ The comparison lemma ⋮ STRUCTURAL PROPERTIES OF THE STABLE CORE ⋮ Lower consistency bounds for mutual stationarity with divergent cofinalities and limited covering ⋮ Recognizable sets and Woodin cardinals: computation beyond the constructible universe ⋮ A premouse inheriting strong cardinals from \(V\) ⋮ Covering at limit cardinals of K ⋮ Forcing absoluteness and regularity properties ⋮ Global square sequences in extender models ⋮ \(\lambda\)-structures and \(s\)-structures: translating the models ⋮ \(\lambda\)-structures and \(s\)-structures: translating the iteration strategies ⋮ Global square and mutual stationarity at the \(\aleph_n\) ⋮ Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties ⋮ Definable normal measures ⋮ Forcing Magidor iteration over a core model below \(0^P\) ⋮ A brief account of recent developments in inner model theory ⋮ Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse ⋮ Iterability for (transfinite) stacks ⋮ STABLY MEASURABLE CARDINALS ⋮ Square principles in \(\mathbb{P}_{\max}\) extensions ⋮ Thin equivalence relations and inner models ⋮ A criterion for coarse iterability ⋮ The domestic levels of \(K^c\) are iterable ⋮ ON THE SPLITTING NUMBER AT REGULAR CARDINALS ⋮ Covering theorems for the core model, and an application to stationary set reflection ⋮ Equiconsistencies at subcompact cardinals ⋮ On the powersets of singular cardinals in HOD ⋮ MINIMUM MODELS OF SECOND-ORDER SET THEORIES ⋮ DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS ⋮ The strength of choiceless patterns of singular and weakly compact cardinals ⋮ Tall cardinals in extender models ⋮ RANK-TO-RANK EMBEDDINGS AND STEEL’S CONJECTURE ⋮ Successor levels of the Jensen hierarchy ⋮ The definability of \(\mathbb{E}\) in self-iterable mice ⋮ Normal measures on large cardinals ⋮ Some open problems in mutual stationary involving inner model: a commentary
This page was built for publication: Inner models and large cardinals
