AD_R implies that all sets of reals are universally Baire

DOI10.1007/S00153-020-00731-WzbMATH Open1498.03122arXiv2110.06075OpenAlexW3016233569MaRDI QIDQ2219085FDOQ2219085

Authors: Grigor Sargsyan 

Publication date: 19 January 2021

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

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.

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

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

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)

Cites Work

• An outline of inner model theory
• Large cardinals from determinacy
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hod mice and the Mouse Set Conjecture
• The self-iterability of L[E]
• Structural consequences of AD
• Square principles in \(\mathbb{P}_{\max}\) extensions
• Extensions of the Axiom of Determinacy
• A theorem of Woodin on mouse sets
• Title not available (Why is that?)
• The tree of a Moschovakis scale is homogeneous

Cited In (3)

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

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)