scientific article; zbMATH DE number 567513

Publication date: 10 May 1994

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

inner model fine structure iteration trees Woodin cardinal finely calibrated partial ultrapowers

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)

Related Items

The Continuum Hypothesis ⋮ On -Strongly Measurable Cardinals ⋮ The comparison lemma ⋮ NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON ⋮ How many real numbers are there? ⋮ Determinacy axioms and large cardinals ⋮ Covering at limit cardinals of K ⋮ The exact consistency strength of the generic absoluteness for the universally Baire sets ⋮ DODD PARAMETERS AND λ-INDEXING OF EXTENDERS ⋮ Projective well-orderings and bounded forcing axioms ⋮ The domestic levels of \(K^c\) are iterable ⋮ Indiscernible sequences for extenders, and the singular cardinal hypothesis ⋮ How to win some simple iteration games ⋮ Strong cardinals in the core model ⋮ Equiconsistencies at subcompact cardinals ⋮ Supercomplete extenders and type 1 mice. I ⋮ Successive weakly compact or singular cardinals ⋮ The complexity of the core model ⋮ IN SEARCH OF ULTIMATE-LTHE 19TH MIDRASHA MATHEMATICAE LECTURES ⋮ The largest countable inductive set is a mouse set ⋮ A long pseudo-comparison of premice in \(L[x\)] ⋮ Woodin cardinals, Shelah cardinals, and the Mitchell-Steel core model ⋮ Projectively well-ordered inner models ⋮ 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 ⋮ Preserving levels of projective determinacy by tree forcings ⋮ Long games and \(\sigma \)-projective sets ⋮ Determinacy in the difference hierarchy of co-analytic sets ⋮ HOD^L(ℝ) is a Core Model Below Θ ⋮ VARSOVIAN MODELS I ⋮ Hod mice and the Mouse Set Conjecture ⋮ Partition properties for simply definable colourings ⋮ \(L(\mathbb{R}, \mu)\) is unique ⋮ Tame failures of the unique branch hypothesis and models of ADℝ + Θ is regular ⋮ Comparison of fine structural mice via coarse iteration ⋮ A characterization of \(\square(\kappa^{+})\) in extender models ⋮ Woodin’s axiom (*), or Martin’s Maximum, or both? ⋮ A definable failure of the singular cardinal hypothesis ⋮ THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY ⋮ The axiom of determinacy implies dependent choice in mice ⋮ A premouse inheriting strong cardinals from \(V\) ⋮ Σ₁(κ)-DEFINABLE SUBSETS OF H(κ⁺) ⋮ THE ABC'S of Mice ⋮ The consistency strength of successive cardinals with the tree property ⋮ Weak Covering at Large Cardinals ⋮ 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 ⋮ INNER MODEL THEORETIC GEOLOGY ⋮ Inner model operators in \(L(\mathbb{R})\) ⋮ Smooth categories and global \(\square\) ⋮ \(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire ⋮ CHARACTERIZATION OF □_κ IN CORE MODELS ⋮ Covering with universally Baire operators ⋮ DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE ⋮ Cardinal transfer properties in extender models ⋮ Coherent sequences and threads ⋮ Fine structure for tame inner models ⋮ The Ultrapower Axiom ⋮ A brief account of recent developments in inner model theory ⋮ Projective uniformization revisited ⋮ THE KETONEN ORDER ⋮ Homogeneously Suslin sets in tame mice ⋮ Projective games on the reals ⋮ Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse ⋮ PFA and guessing models ⋮ Iteration Trees ⋮ Iterability for (transfinite) stacks ⋮ The covering lemma up to a Woodin cardinal ⋮ CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS ⋮ Universally Baire sets and definable well-orderings of the reals ⋮ Square principles in \(\mathbb{P}_{\max}\) extensions ⋮ On measurable cardinals violating the continuum hypothesis ⋮ Thin equivalence relations and inner models ⋮ Local K^c constructions ⋮ A criterion for coarse iterability ⋮ A finite family weak square principle ⋮ A weak Dodd-Jensen lemma ⋮ Power function on stationary classes ⋮ Inner Models and Ultrafilters In L(ℝ) ⋮ Generic Embeddings and the Failure of Box ⋮ A minimal counterexample to universal baireness ⋮ Stacking mice ⋮ Long Borel games ⋮ 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 ⋮ Iterates of the core model ⋮ \(\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 ⋮ Descriptive inner model theory ⋮ Thin equivalence relations in scaled pointclasses ⋮ Core models in the presence of Woodin cardinals ⋮ On the extender algebra being complete ⋮ Is there a set of reals not in \(K(\mathbb{R})\)? ⋮ Successor levels of the Jensen hierarchy ⋮ How Woodin changed his mind: new thoughts on the continuum hypothesis ⋮ Indexed squares ⋮ IN INNER MODELS WITH WOODIN CARDINALS ⋮ Boolean-valued second-order logic ⋮ The definability of \(\mathbb{E}\) in self-iterable mice ⋮ KWithout the Measurable ⋮ On the Prewellorderings Associated with the Directed Systems of Mice ⋮ 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 ⋮ Core models with more Woodin cardinals