scientific article; zbMATH DE number 967740

Publication date: 19 January 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

inner models iterability extenders Woodin cardinals core models Skolem hull fine structure theory

Descriptive set theory (03E15) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Ordinal and cardinal numbers (03E10)

Related Items (88)

Models of set theory in which the separation theorem fails ⋮ Supercomplete extenders and type 1 mice. I ⋮ Successive weakly compact or singular cardinals ⋮ On -Strongly Measurable Cardinals ⋮ A simple maximality principle ⋮ On the indestructibility aspects of identity crisis ⋮ Strong Cardinals and Sets of Reals in Lω1(ℝ) ⋮ Woodin cardinals, Shelah cardinals, and the Mitchell-Steel core model ⋮ Combinatorial principles in the core model for one Woodin cardinal ⋮ The consistency strength of projective absoluteness ⋮ Projective well-orderings of the reals ⋮ Determinacy from strong reflection ⋮ A universal extender model without large cardinals in V ⋮ Mouse sets ⋮ \(\Pi_ 2^ 1\) Wadge degrees ⋮ In memoriam: James Earl Baumgartner (1943--2011) ⋮ VARSOVIAN MODELS I ⋮ Hod mice and the Mouse Set Conjecture ⋮ Forcing the Σ31-separation property ⋮ Countable ordinals in indiscernibility spectra ⋮ -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders ⋮ NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON ⋮ How many real numbers are there? ⋮ Forcing and the universe of sets: must we lose insight? ⋮ When cardinals determine the power set: inner models and Härtig quantifier logic ⋮ Covering at limit cardinals of K ⋮ THE ABC'S of Mice ⋮ The consistency strength of successive cardinals with the tree property ⋮ The exact consistency strength of the generic absoluteness for the universally Baire sets ⋮ Weak Covering at Large Cardinals ⋮ Forcing absoluteness and regularity properties ⋮ Less saturated ideals ⋮ On the Reals Which Cannot Be Random ⋮ \(\lambda\)-structures and \(s\)-structures: translating the iteration strategies ⋮ Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties ⋮ Perfect subtree property for weakly compact cardinals ⋮ INNER MODEL THEORETIC GEOLOGY ⋮ Kunen and set theory ⋮ CHARACTERIZATION OF □_κ IN CORE MODELS ⋮ Covering with universally Baire operators ⋮ Cardinal transfer properties in extender models ⋮ Coherent sequences and threads ⋮ Fine structure for tame inner models ⋮ A brief account of recent developments in inner model theory ⋮ Projective uniformization revisited ⋮ Homogeneously Suslin sets in tame mice ⋮ Covering with Chang models over derived models ⋮ PFA and guessing models ⋮ Iterability for (transfinite) stacks ⋮ The covering lemma up to a Woodin cardinal ⋮ Homogeneous iteration and measure one covering relative to HOD ⋮ Square principles in \(\mathbb{P}_{\max}\) extensions ⋮ Local K^c constructions ⋮ On the consistency strength of two choiceless cardinal patterns ⋮ A criterion for coarse iterability ⋮ Collapsing the cardinals of HOD ⋮ Jónsson cardinals, Erdős cardinals, and the core model ⋮ A finite family weak square principle ⋮ A weak Dodd-Jensen lemma ⋮ The cardinals below \(|[\omega_{1}^{<\omega _{1}}|\)] ⋮ An equiconsistency for universal indestructibility ⋮ The domestic levels of \(K^c\) are iterable ⋮ Indiscernible sequences for extenders, and the singular cardinal hypothesis ⋮ Strong cardinals in the core model ⋮ Stacking mice ⋮ 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 ⋮ Chang's conjecture and semiproperness of nonreasonable posets ⋮ DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS ⋮ The strength of choiceless patterns of singular and weakly compact cardinals ⋮ Iterates of the core model ⋮ The self-iterability of L[E] ⋮ \(\Sigma_3^1\) absoluteness and the second uniform indiscernible ⋮ Distinct iterable branches ⋮ PFA implies AD^L(ℝ) ⋮ Mice with finitely many Woodin cardinals from optimal determinacy hypotheses ⋮ A diamond-plus principle consistent with AD ⋮ Core models in the presence of Woodin cardinals ⋮ Indexed squares ⋮ Homogeneously Souslin sets in small inner models ⋮ Large cardinals, inner models, and determinacy: an introductory overview ⋮ The definability of \(\mathbb{E}\) in self-iterable mice ⋮ KWithout the Measurable ⋮ Inner models in the region of a Woodin limit of Woodin cardinals ⋮ The core model for almost linear iterations ⋮ The maximality of the core model ⋮ Deconstructing inner model theory ⋮ Coding into 𝐾 by reasonable forcing ⋮ Core models with more Woodin cardinals

This page was built for publication: