Elsevier

Advances in Mathematics

Volume 324, 14 January 2018, Pages 355-393
Advances in Mathematics

L(R,μ) is unique

https://doi.org/10.1016/j.aim.2017.11.010Get rights and content
Under an Elsevier user license
open archive

Abstract

Under various appropriate hypotheses it is shown that there is only one determinacy model of the form L(R,μ) in which μ is a supercompact measure on Pω1(R). In particular, this gives a positive answer to a question asked by W.H. Woodin in 1983.

Keywords

Set theory
Inner model theory
Determinacy
HOD analysis
Supercompact cardinals
Descriptive set theory

Cited by (0)