.Goldstern, Martin: Tools for your forcing construction. Set theory of the reals (Ramat Gan, 1991). „Israel Math. Conf. Proc.”, 6, Bar-Ilan Univ., Ramat Gan, 1993, s. 305–360., jeśli dla każdej dostatecznie dużej regularnej liczby kardynalnej istnieje taki, że: jeśli jest przeliczalnym elementarnym podmodelem dla , oraz , to wtedy istnieje warunek , który jest -generyczny.
Zobacz też Aksjomat Martina PFA (proper forcing axiom)
Przypisy
Kategoria:Forsing