Szelach, Saharon: Norms on possibilities. I. Forcing with trees and creatures. „Mem. Amer. Math. Soc.” 141 (1999), no. 671, ..
Przykłady konsekwencji Załóżmy PFA. Wówczas:
MA, SCH, nie istnieją drzewa Kurepy, suma (s0)-zbiorów Marczewskiego jest -zbiorem.
Aby przedstawić kolejną konsekwencję PFA musimy wprowadzić następującą definicję. Powiemy, że podzbiór prostej rzeczywistej jest -gęsty w jeśli dla każdego niepustego przedziału otwartego mamy, że Zakładając PFA, każde dwa -gęste podzbiory prostej są porządkowo izomorficzneBaumgartner, James: Applications of the proper forcing axiom, w: Handbook of set-theoretic topology, s. 913–959. North-Holland, Amsterdam, 1984..
Zobacz też aksjomat Martina duże liczby kardynalne forsing hipoteza continuum pojęcie forsingu proper forsing
Przypisy
Kategoria:Forsing Kategoria:Aksjomaty teorii mnogości