\(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire

DOI10.1007/s00153-020-00731-wzbMath1498.03122arXiv2110.06075OpenAlexW3016233569MaRDI QIDQ2219085

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

forcinglarge cardinalsdeterminacyinner model theoryBaire sets

Mathematics Subject Classification ID

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

Related Items (1)

The exact consistency strength of the generic absoluteness for the universally Baire sets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Square principles in \(\mathbb{P}_{\max}\) extensions
• Hod mice and the Mouse Set Conjecture
• An Outline of Inner Model Theory
• Structural Consequences of AD
• Large Cardinals from Determinacy
• The self-iterability of L[E]
• A theorem of Woodin on mouse sets
• Extensions of the Axiom of Determinacy

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