Projectively well-ordered inner models

DOI10.1016/0168-0072(94)00021-TzbMath0821.03023OpenAlexW2073453491MaRDI QIDQ1892942

J. R. Steel

Publication date: 18 September 1995

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(94)00021-t

zbMATH Keywords

Woodin cardinalsprojective setsreals in minimal iterable inner model

Mathematics Subject Classification ID

Descriptive set theory (03E15) Large cardinals (03E55) Determinacy principles (03E60)

Related Items (30)

Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁ ⋮ Mouse sets ⋮ Hod mice and the Mouse Set Conjecture ⋮ The comparison lemma ⋮ THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY ⋮ An undecidable extension of Morley's theorem on the number of countable models ⋮ Applying generic coding with help to uniformizations ⋮ Recognizable sets and Woodin cardinals: computation beyond the constructible universe ⋮ THE ABC'S of Mice ⋮ The consistency strength of successive cardinals with the tree property ⋮ On the Reals Which Cannot Be Random ⋮ Inner model operators in \(L(\mathbb{R})\) ⋮ AN ANALYSIS OF THE MODELS ⋮ Homogeneously Suslin sets in tame mice ⋮ Projective games on the reals ⋮ Universally Baire sets and definable well-orderings of the reals ⋮ Thin equivalence relations and inner models ⋮ Disjoint Borel functions ⋮ Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\) ⋮ A minimal counterexample to universal baireness ⋮ A WELLORDER OF THE REALS WITH SATURATED ⋮ THE RAMIFIED ANALYTICAL HIERARCHY USING EXTENDED LOGICS ⋮ The strength of choiceless patterns of singular and weakly compact cardinals ⋮ PFA implies AD^L(ℝ) ⋮ Mice with finitely many Woodin cardinals from optimal determinacy hypotheses ⋮ Descriptive inner model theory ⋮ Core models in the presence of Woodin cardinals ⋮ NS SATURATED AND -DEFINABLE ⋮ The definability of \(\mathbb{E}\) in self-iterable mice ⋮ On the Prewellorderings Associated with the Directed Systems of Mice

Cites Work

• Unnamed Item
• Unnamed Item
• Descriptive set theory
• Inner models with many Woodin cardinals
• A basis theorem for \(\sum^ 1_ 3\) sets of reals
• A Proof of Projective Determinacy
• The Theory of Countable Analytical Sets
• Iteration Trees
• Measure and category in effective descriptive set theory

This page was built for publication: Projectively well-ordered inner models