Gregor Dolinar: Konstrukcija ⎕ω₁, 2. del
Datum objave: 3. 4. 2009
Seminar za temelje matematike in teoretično računalništvo
Torek, 7. 4. 2009, od 10h do 12h, Plemljev seminar, Jadranska 19
Povzetek: V drugem delu si bomo dejansko pogledali konstrukcijo kvadrata na ω1, najprej na način, ki je sicer zelo intuitiven, vendar pa se ujame v past imenovano kolapsiranje kardinalnih števil. Nato pa bomo prvotno konstrukcijo korakoma popravljali, dokler ne bomo prišli do take, ki se vsem pastem izogne.
Vabljeni!
