A model of the Axiom of Determinacy in which every set of reals is universally Baire

Paul B. Larson, Grigor Sargsyan, Trevor Wilson

The consistency of the theory $\mathsf{ZF}+{\mathsf{AD}}_{\mathbb{R}}+$``every set of reals is universally Baire'' is proved relative to $\mathsf{ZFC}+$``there is a cardina…