Models of R-supercompactness
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 th...
Main Author: | |
---|---|
Format: | Others |
Published: |
Research Showcase @ CMU
2016
|
Online Access: | http://repository.cmu.edu/dissertations/818 http://repository.cmu.edu/cgi/viewcontent.cgi?article=1857&context=dissertations |
id |
ndltd-cmu.edu-oai-repository.cmu.edu-dissertations-1857 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-cmu.edu-oai-repository.cmu.edu-dissertations-18572017-03-22T03:40:57Z Models of R-supercompactness Rodriguez, Daniel 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. 2016-05-01T07:00:00Z text application/pdf http://repository.cmu.edu/dissertations/818 http://repository.cmu.edu/cgi/viewcontent.cgi?article=1857&context=dissertations Dissertations Research Showcase @ CMU |
collection |
NDLTD |
format |
Others
|
sources |
NDLTD |
description |
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. |
author |
Rodriguez, Daniel |
spellingShingle |
Rodriguez, Daniel Models of R-supercompactness |
author_facet |
Rodriguez, Daniel |
author_sort |
Rodriguez, Daniel |
title |
Models of R-supercompactness |
title_short |
Models of R-supercompactness |
title_full |
Models of R-supercompactness |
title_fullStr |
Models of R-supercompactness |
title_full_unstemmed |
Models of R-supercompactness |
title_sort |
models of r-supercompactness |
publisher |
Research Showcase @ CMU |
publishDate |
2016 |
url |
http://repository.cmu.edu/dissertations/818 http://repository.cmu.edu/cgi/viewcontent.cgi?article=1857&context=dissertations |
work_keys_str_mv |
AT rodriguezdaniel modelsofrsupercompactness |
_version_ |
1718433982413012992 |