Determinacy in L(R, )

DOI10.1142/S0219061314500068MaRDI QIDQ2878783zbMATH OpenOpenAlexFDO

Authors Nam Trang

Publication date 5 September 2014

Published in Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1201.6005

zbMATH Keywords

core model inductiondescriptive inner model theorySolovay measure

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)

Abstract: Assume L(mathbb{R},mu) satisfies ZF+DC+Theta>omega_2 + mu is a normal fine measure on powerset_{omega_1}(mathbb{R}). The main result of this paper is the characterization theorem of L(mathbb{R},mu) which states that L(mathbb{R},mu) satisfies Theta>omega_2 if and only if L(mathbb{R},mu) satisfies AD^+. As a result, we obtain the equiconsistency between the two theories: "ZFC + there are omega^2 Woodin cardinals" and "ZF+DC+mu is a normal fine measure on powerset_{omega_1}(mathbb{R}) + Theta>omega_2".

Recommendations

• Structure theory of \(L(\mathbb{R},\mu)\) and its applications
• scientific article; zbMATH DE number 3914317
• A Proof of Projective Determinacy
• The axiom of determinacy implies dependent choices in L(R)
• The equivalence of partition properties and determinacy

Cites work

• CHARACTERIZATION OF □_κ IN CORE MODELS
• Large cardinals from determinacy
• Long projective wellorderings
• PFA implies AD^L(ℝ)
• Scales in K(ℝ) at the end of a weak gap
• The maximality of the core model

Cited in

(11)

• \(L(\mathbb{R}, \mu)\) is unique
• Supercompactness can be equiconsistent with measurability
• On supercompactness of _1
• Determinacy from strong compactness of \(\omega_1\)
• 𝐴𝐷 and the very fine structure of 𝐿(ℝ)
• Determinacy in L(ℝ)
• scientific article; zbMATH DE number 3914317 (Why is no real title available?)
• DERIVED MODELS OF MICE BELOW THE LEAST FIXPOINT OF THE SOLOVAY SEQUENCE
• The consistency strength of long projective determinacy
• Structure theory of \(L(\mathbb{R},\mu)\) and its applications
• Determinacy and the sharp function on the reals

This page was built for publication: Determinacy in \(L(\mathbb{R}, \mu)\)

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