The consistency strength of projective absoluteness

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

Kai Hauser

Publication date: 2 May 1996

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

zbMATH Keywords

forcing; strong cardinals; consistency strength; core model; projective sets; Woodin cardinal; projective determinacy; Delfino problem; projective absoluteness

Mathematics Subject Classification ID

03E15: Descriptive set theory

03E35: Consistency and independence results

03E60: Determinacy principles

Related Items

Strong Cardinals and Sets of Reals in Lω1(ℝ), Some applications of coarse inner model theory, Universally Baire sets and definable well-orderings of the reals, A minimal counterexample to universal baireness, Generic absoluteness, Strong cardinals in the core model, Projective well-orderings of the reals, Projective uniformization revisited, A simple maximality principle

Cites Work

• 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
• 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