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)
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
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, Definable normal measures, Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse, 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, A characterization of \(\square(\kappa^{+})\) in extender models, 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
