2000 character limit reached
Building Models of Determinacy from Below
Published 11 Sep 2024 in math.LO | (2409.07156v2)
Abstract: We present an $L$-like construction that produces the minimal model of $\mathsf{AD}\mathbb{R}+$"$\Theta$ is regular". In fact, our construction can produce any model of $\mathsf{AD}++\mathsf{AD}\mathbb{R}+V=L(P(\mathbb{R}))$ in which there is no hod mouse with a measurable limit of Woodins.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.