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 |