Mathematical
Logic Group
(Department of
Mathematics, University of
Bonn)
Arbeitsgemeinschaft
Konstruktibilitätstheorie
Sommersemester 2003
Dozenten:
Donnerstags, 16:30-18:00; Seminarraum A
Vor der AG findet von 16:00 bis 16:30 der traditionelle Logik-Kaffee
in Be4Zi44 statt.
Themen:
- Definition von Bäumen und Suslinbäumen; Ascent path;
Super-Suslin-Bäume
- Konstruktion von Suslin-Bäumen (mit ascent path) mit Karo und
Quadrat
- Gap-1 Moraste
- Konstruktion von Super-Suslin-Bäumen
Weitere mögliche Themen:
Gap-2 und höhere Moraste, Anwendungen
Last changed: April 7th, 2003