TL;DR
Under hypotheses involving $^2$ Woodin cardinals, the paper proves the existence of a transitive model of KP + AD$_\mathbb{R}$ that includes all real numbers.
Contribution
The paper establishes the existence of a specific model of set theory with determinacy assumptions under large cardinal hypotheses.
Findings
Existence of a transitive model of KP + AD$_\mathbb{R}$ containing all reals.
Results depend on hypotheses in the region of $^2$ Woodin cardinals.
Advances understanding of models with determinacy and large cardinals.
Abstract
It is shown, from hypotheses in the region of Woodin cardinals, that there is a transitive model of KP + AD containing all reals.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.