Determined Admissible Sets

2019/07/01 by Aguilera, Juan P.
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1907.00742

Abstract

It is shown, from hypotheses in the region of ω² Woodin cardinals, that there is a transitive model of KP + AD_ℝ containing all reals.

Related

• A model of the Axiom of Determinacy in which every set of reals is universally Baire
• Mice with Woodin cardinals from a Reinhardt
• Determinacy in the Chang model
• F_σ Games and Reflection in L(ℝ)
• Reduced Set Theory