scientific article; zbMATH DE number 567513

MaRDI QIDQ4291791zbMATH OpenFDO

Authors William J. Mitchell, John Steel

Publication date 10 May 1994

zbMATH Keywords

fine structurefinely calibrated partial ultrapowersinner modeliteration treesWoodin cardinal

Mathematics Subject Classification ID

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)

Recommendations

• Inner models with many Woodin cardinals
• Inner models in the region of a Woodin limit of Woodin cardinals
• Iteration Trees

Cited in

(only showing first 100 items - show all)

• The strength of choiceless patterns of singular and weakly compact cardinals
• _3¹ absoluteness and the second uniform indiscernible
• Is there a set of reals not in \(K(\mathbb{R})\)?
• Inner models with many Woodin cardinals
• Mouse sets
• Generic relativizations of fine structure
• Inner models in the region of a Woodin limit of Woodin cardinals
• The core model for almost linear iterations
• A long pseudo-comparison of premice in \(L[x]\)
• \(L(\mathbb{R}, \mu)\) is unique
• Indexed squares
• Supercomplete extenders and type 1 mice. I
• Projectively well-ordered inner models
• Combinatorial principles in the core model for one Woodin cardinal
• The consistency strength of projective absoluteness
• Determinacy in the difference hierarchy of co-analytic sets
• A characterization of \(\square(\kappa^{+})\) in extender models
• A definable failure of the singular cardinal hypothesis
• Inner model operators in \(L(\mathbb{R})\)
• Smooth categories and global
• Projective uniformization revisited
• Projective games on the reals
• Long Borel games
• The definability of \(\mathbb{E}\) in self-iterable mice
• Partition properties for simply definable colourings
• A premouse inheriting strong cardinals from \(V\)
• \(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire
• Thin equivalence relations and inner models
• How Woodin changed his mind: new thoughts on the continuum hypothesis
• Boolean-valued second-order logic
• Coherent sequences and threads
• Power function on stationary classes
• Preserving levels of projective determinacy by tree forcings
• Long games and \(\sigma \)-projective sets
• Descriptive inner model theory
• K without the measurable
• On the prewellorderings associated with the directed systems of mice
• Hod mice and the mouse set conjecture
• Tame failures of the unique branch hypothesis and models of \(\mathsf{AD}_{\mathbb{R}}+\Theta\) is regular
• Inner model theoretic geology
• \(\Sigma ^{*}\) fine structure
• An outline of inner model theory
• Thin equivalence relations in scaled pointclasses
• Deconstructing inner model theory
• Determinacy from strong reflection
• The Ultrapower Axiom
• A brief account of recent developments in inner model theory
• Core models in the presence of Woodin cardinals
• On the extender algebra being complete
• Inner Models and Ultrafilters In L(ℝ)
• Stacking mice
• Iterated joining of rooted trees
• Building iteration trees
• Comparison of fine structural mice via coarse iteration
• The maximality of the core model
• Successive weakly compact or singular cardinals
• The complexity of the core model
• The largest countable inductive set is a mouse set
• Iteration Trees
• THE ABC'S of Mice
• The consistency strength of successive cardinals with the tree property
• Weak Covering at Large Cardinals
• Woodin cardinals, Shelah cardinals, and the Mitchell-Steel core model
• VARSOVIAN MODELS I
• DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE
• Universally Baire sets and definable well-orderings of the reals
• Covering with universally Baire operators
• Core models with more Woodin cardinals
• HOD^L(ℝ) is a Core Model Below Θ
• Generic Embeddings and the Failure of Box
• Fine structure for tame inner models
• Homogeneously Suslin sets in tame mice
• A finite family weak square principle
• A weak Dodd-Jensen lemma
• A minimal counterexample to universal baireness
• Downward transference of mice and universality of local core models
• Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
• Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse
• HOD in inner models with Woodin cardinals
• PFA and guessing models
• The consistency strength of long projective determinacy
• The axiom of determinacy implies dependent choice in mice
• The Ketonen order
• Iterability for (transfinite) stacks
• CLOSURE PROPERTIES OF MEASURABLE ULTRAPOWERS
• Minimum models of second-order set theories
• Square principles in \(\mathbb{P}_{\max}\) extensions
• In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures
• A universal extender model without large cardinals in V
• Woodin’s axiom (*), or Martin’s Maximum, or both?
• \(\Sigma_1(\kappa)\)-definable subsets of \(\mathrm{H}(\kappa^+)\)
• Local K^c constructions
• Iterates of the core model
• Distinct iterable branches
• PFA implies AD^L(ℝ)
• Successor levels of the Jensen hierarchy
• CHARACTERIZATION OF □_κ IN CORE MODELS
• DODD PARAMETERS AND λ-INDEXING OF EXTENDERS
• Projective well-orderings and bounded forcing axioms
• The Continuum Hypothesis

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4291791)