Mamy daną pewną (dużą) regularną liczbą kardynalną i rozważamy rodzinę wszystkich zbiorów dziedzicznie mocy mniejszej niż Przypuśćmy, że jest przeliczalnym elementarnym podmodelem (Istnienie takich podmodeli wynika z dolnego twierdzenia Löwenheima-Skolema). Wówczas istnieje (jedyny) przeliczalny tranzytywny zbiór taki, że model jest izomorficzny z
Przypisy
Bibliografia
Kategoria:Teoria mnogości Kategoria:Relacje matematyczne