Przypuśćmy, że F jest rosnącą funkcją określoną na wszystkich regularnych liczbach kardynalnych, której wartościami są nieskończone liczby kardynalne i taką, że dla wszystkich regularnych Wówczas jest niesprzecznym z ZFC, że dla wszystkich regularnych liczb kardynalnych Twierdzenie Eastona przesunęło środek ciężkości badań w arytmetyce kardynalnej w kierunku hipotezy liczb singularnych (SCH) i jej naruszeń. SCH to zdanie stwierdzające, że dla każdej nieskończonej liczby kardynalnej jeśli to . Przy założeniu SCH, potęgi liczb kardynalnych są wyznaczone przez funkcję dla liczb regularnych. Z naruszenia SCH można znaleźć pewne duże liczby kardynalne, ale też z dużych liczb można wywnioskować niesprzeczność ¬SCH. Z wyników Karola PrikregoPrikry, Karel L.: Changing measurable into accessible cardinals. „Dissertationes Math. / Rozprawy Mat.” 68 (1970). i Jacka Silvera wynika, że jeśli istnieje liczba superzwarta, to istnieje pojęcie forsingu, które forsuje, że dla pewnej silnie granicznej singularnej liczby kardynalnej mamy Wielu matematyków zaczęło w latach 70.
Źródło i licencja
Fragment artykułu Wikipedia — Teoria PCF · historia autorów.
Tekst: CC BY-SA 4.0. Wydzielono fragment z dłuższego artykułu.