Skip to main content
2 events
when toggle format what by license comment
Jul 10, 2012 at 19:45 comment added Lstoa What you are saying Eran is correct, but in my question I assume that the forcing notion is a class. Thus, in this case, the real a is ℙ-generic over the inner model L, where ℙ is Jensen's coding. I guess, one could say, it is a generalization of Solovay's Conjecture, by replacing "set" by "class".
Jul 10, 2012 at 19:06 history answered Eran CC BY-SA 3.0