# Search results

• Solovay showed that the existence of a measurable cardinal is equiconsistent with t
22 KB (3,403 words) - 14:05, 11 November 2021
• * (Solovay)there is an inner model of a forcing extension satisfying ZF+DC in which ev
9 KB (1,275 words) - 10:00, 10 September 2021
• ...notion of supercompactness and its consequences was initially developed by Solovay and Reinhardt and further elaborated on by Magidor and Gitik, among many ot
14 KB (2,010 words) - 06:52, 29 May 2022
• TITLE = {Proper forcing extensions and Solovay models}, author = {Kanamori, Akihiro and Reinhardt, William N. and Solovay, Robert M.},
51 KB (5,012 words) - 20:41, 7 September 2022
• Using Fodor's lemma, Solovay proved that each stationary subset of $\kappa$ can be split into two, in f
5 KB (785 words) - 03:32, 17 September 2022
• ...rkeley, with J. D. Hamkins, A. Lewis, D. Seabold, G. Hjorth and perhaps R. Solovay in the audience, among others, issued as a challenge to refute a seemingly
4 KB (632 words) - 11:24, 24 August 2021
• Solovay showed that $\text{ZF+AD}_\mathbb{R}+$"$\Theta$ has uncountable cofinality"
25 KB (3,843 words) - 13:03, 26 June 2022
• == Solovay model == <!-- p. 2 -->Deﬁnition: $L(\mathbb{R})^M$ is a ''Solovay model'' over $V$ for $V⊆M$ and $M$ satisfying: $\forall_{x∈\mathbb{R}}$
7 KB (1,034 words) - 06:22, 29 May 2022