ADR implies that all sets of reals are universally Baire

Abstract

ADR 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.

0

Turn this paper into a full lesson

ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.

Discussion (0)

Sign in to join the discussion.

Loading comments…