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

DOI10.1017/fms.2023.127arXiv2110.02725OpenAlexW4390978979MaRDI QIDQ6188332

Nam Trang, Grigor Sargsyan

Publication date: 7 February 2024

Published in: Forum of Mathematics, Sigma (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) General topology (54-XX)

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
• Covering with universally Baire operators
• Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse
• PFA and guessing models
• Square principles in \(\mathbb{P}_{\max}\) extensions
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Inner models in the region of a Woodin limit of Woodin cardinals
• Generic absoluteness and the continuum
• The consistency strength of projective absoluteness
• \(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire
• Covering with Chang models over derived models
• Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms
• Descriptive inner model theory
• Non-tame Mice from Tame Failures of the Unique Branch Hypothesis
• Hod mice and the Mouse Set Conjecture
• An Outline of Inner Model Theory
• Structural Consequences of AD
• Stacking mice
• Projective determinacy
• Iteration Trees
• THE ABC'S of Mice
• Absoluteness via resurrection
• UNIVERSALLY BAIRE SETS AND GENERIC ABSOLUTENESS
• Core models with more Woodin cardinals
• Optimal Proofs of Determinacy
• Inner Models and Large Cardinals
• A Comparison Process for Mouse Pairs
• HODas a core model
• IN SEARCH OF ULTIMATE-LTHE 19TH MIDRASHA MATHEMATICAE LECTURES
• PFA implies AD^L(ℝ)
• Internal cohen extensions
• The fine structure of the constructible hierarchy
• 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability

This page was built for publication: The exact consistency strength of the generic absoluteness for the universally Baire sets