Harmonogram 2020

Twierdzenie Silvera

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.