Models of R-supercompactness
thesisposted on 2016-05-01, 00:00 authored by Daniel Rodriguez
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. It is also proven that it is relatively consistent that there are different ZF models of the form L(R, μ) in which μ witnesses that !1 is R-supercompact.
- Mathematical Sciences
- Doctor of Philosophy (PhD)