Twierdzenie Silvera
[‘#TeoriaMnogości’]
Dawid Migacz (UWr)
Uogólniona hipoteza continuum (GCH) mówi, że ℵα+1=2ℵα. Omawiane twierdzenie nakłada ograniczenia na najmniejszy kontrprzykład GCH. Przedstawiony zostanie dowód tego twierdzenia z roku 1974.