The consistency strength of projective absoluteness

DOI10.1016/0168-0072(94)00041-ZzbMath0836.03025OpenAlexW2062673218MaRDI QIDQ1896614

Kai Hauser

Publication date: 2 May 1996

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)00041-z

zbMATH Keywords

forcingstrong cardinalsconsistency strengthcore modelprojective setsWoodin cardinalprojective determinacyDelfino problemprojective absoluteness

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Determinacy principles (03E60)

Related Items

A simple maximality principle, Uniformization and internal absoluteness, Strong Cardinals and Sets of Reals in Lω1(ℝ), Projective well-orderings of the reals, UNIVERSALLY BAIRE SETS AND GENERIC ABSOLUTENESS, The exact consistency strength of the generic absoluteness for the universally Baire sets, Some applications of coarse inner model theory, Projective uniformization revisited, Universally Baire sets and definable well-orderings of the reals, Generic absoluteness, A minimal counterexample to universal baireness, Strong cardinals in the core model

Cites Work

• The covering lemma up to a Woodin cardinal
• Descriptive set theory
• Borel determinacy
• Inner models with many Woodin cardinals
• A basis theorem for \(\sum^ 1_ 3\) sets of reals
• Large Cardinals from Determinacy
• Core models
• The core model for sequences of measures. I
• Equivalence of partition properties and determinacy
• The axiom of determinacy implies dependent choices in L(R)
• On the Relative Consistency Strength of Determinacy Hypothesis
• Between strong and superstrong
• Projective determinacy
• A Proof of Projective Determinacy
• The core model
• The covering lemma for K
• Indescribable cardinals and elementary embeddings
• Sets constructible from sequences of ultrafilters
• Iteration Trees
• Core models with more Woodin cardinals
• On the Lebesgue measurability and the axiom of determinateness
• On the axiom of determinateness (II)
• The fine structure of the constructible hierarchy
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item