Inner models and large cardinals

zbMath0987.03002MaRDI QIDQ5950797

Martin Zeman

Publication date: 17 December 2001

Published in: De Gruyter Series in Logic and Its Applications (Search for Journal in Brave)

zbMATH Keywords

large cardinals; core model; extender model; fine structure; inner models

Mathematics Subject Classification ID

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03E35: Consistency and independence results

03E45: Inner models, including constructibility, ordinal definability, and core models

03E55: Large cardinals

Related Items

DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS, RANK-TO-RANK EMBEDDINGS AND STEEL’S CONJECTURE, The large cardinal strength of weak Vopenka’s principle, CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL, Iterability for (transfinite) stacks, STABLY MEASURABLE CARDINALS, On the powersets of singular cardinals in HOD, MINIMUM MODELS OF SECOND-ORDER SET THEORIES, The Mitchell order below rank-to-rank, Successor levels of the Jensen hierarchy, The domestic levels of \(K^c\) are iterable, Equiconsistencies at subcompact cardinals, Normal measures on large cardinals, On -Strongly Measurable Cardinals, STRUCTURAL PROPERTIES OF THE STABLE CORE, Lower consistency bounds for mutual stationarity with divergent cofinalities and limited covering, The structure of the Mitchell order. I, Definable normal measures, Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse, Square principles in \(\mathbb{P}_{\max}\) extensions, 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, Covering theorems for the core model, and an application to stationary set reflection, Some open problems in mutual stationary involving inner model: a commentary, A criterion for coarse iterability, The strength of choiceless patterns of singular and weakly compact cardinals, Recognizable sets and Woodin cardinals: computation beyond the constructible universe, A characterization of \(\square(\kappa^{+})\) in extender models, Tall cardinals in extender models, The definability of \(\mathbb{E}\) in self-iterable mice, A premouse inheriting strong cardinals from \(V\), Thin equivalence relations and inner models, The spectrum of elementary embeddings \(j: V \to V\), Forcing Magidor iteration over a core model below \(0^P\), ON THE SPLITTING NUMBER AT REGULAR CARDINALS, Hod mice and the Mouse Set Conjecture, A brief account of recent developments in inner model theory