AD_R implies that all sets of reals are universally Baire

DOI10.1007/S00153-020-00731-WMaRDI QIDQ2219085zbMATH OpenOpenAlexFDO

Authors Grigor Sargsyan

Publication date 19 January 2021

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

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

zbMATH Keywords

determinacyforcinglarge cardinalsinner model theoryBaire sets

Mathematics Subject Classification ID

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

Abstract: $A{D}_{mathbbR}$ is the Axiom of Determinacy for games on the reals (i.e., the player play reals. We show that it implies that all sets of reals are Theta-universally Baire. As a corollary we obtain a model in which $AD$ holds and all sets of reals are fully universally Baire. Such a model was first constructed by Larson, Sargsyan and Wilson. Our result complements it as the technique is purely descriptive set theoretic.

Recommendations

• scientific article; zbMATH DE number 218608
• Universally Baire sets and definable well-orderings of the reals
• sets of reals
• Σ½-sets of reals
• scientific article; zbMATH DE number 3935931
• \(\forall\exists\mathbb {R}\)-completeness and area-universality
• Universally Baire sets and generic absoluteness
• \(\Delta^ 1_ 2\)-sets of reals
• The consistency strength of the perfect set property for universally Baire sets of reals
• An elementary proof that the Borel class of the reals has cardinality continuum

Cites work

• scientific article; zbMATH DE number 3833953 (Why is no real title available?)
• scientific article; zbMATH DE number 3839944 (Why is no real title available?)
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• A theorem of Woodin on mouse sets
• An outline of inner model theory
• Extensions of the Axiom of Determinacy
• Hod mice and the mouse set conjecture
• Large cardinals from determinacy
• Square principles in \(\mathbb{P}_{\max}\) extensions
• Structural consequences of AD
• The self-iterability of L[E]
• The tree of a Moschovakis scale is homogeneous

Cited in

(3)

• $$\Sigma _{1}^{1}$$ in Every Real in a $$\Sigma _{1}^{1}$$ Class of Reals Is $$\Sigma _{1}^{1}$$
• Projective Hausdorff gaps
• The exact consistency strength of the generic absoluteness for the universally Baire sets

This page was built for publication: \(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire

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