All Questions
3 questions with no upvoted or accepted answers
9
votes
0
answers
299
views
On an unpublished result of Magidor
In 1970th, Magidor proved the following important results:
(1) Assuming the existence of a supercompact cardinal, it is consistent that $\aleph_\omega$
is strong limit and $2^{\aleph_\omega}=\aleph_{\...
9
votes
0
answers
257
views
History of preservation theorems in forcing theory
For my honours thesis, I am studying a general preservation theorem using a framework provided by Shelah. I am mainly concerned about revised countable support iteration of $\dot{S}$-semiproper ...
8
votes
0
answers
394
views
Silver's unpublished work on reverse Easton iteration
Silver was the first person who used the method of reverse Easton iterations in connection with large cardinals, and used it to force the failure of $GCH$ at some measurable cardinal.
At most papers ...