Search results

Jump to: navigation, search
  • 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 -->Definition: $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