250100 VO Axiomatic set theory 1 (2017S)
Labels
Prep. meeting: March, 1 at 12:00 noon, Kurt Gödel Research Center, 1090 Vienna, Währinger Straße 25, 2 floor, seminarroom 101.
Details
Sprache: Englisch
Prüfungstermine
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
The lectures are taking place Wednesdays, 11:30 - 13:50 at the Kurt Gödel Research Center, Room 101.
Mittwoch
08.03.
11:30 - 13:50
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
15.03.
11:30 - 13:50
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
22.03.
11:30 - 13:50
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
29.03.
11:30 - 13:50
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
05.04.
11:30 - 13:50
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
26.04.
11:30 - 13:50
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
03.05.
11:30 - 13:50
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
10.05.
11:30 - 13:50
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
17.05.
11:30 - 13:50
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
24.05.
11:30 - 13:50
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
31.05.
11:30 - 13:50
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
07.06.
11:30 - 13:50
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
14.06.
11:30 - 13:50
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
21.06.
11:30 - 13:50
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Mittwoch
28.06.
11:30 - 13:50
(ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
Information
Ziele, Inhalte und Methode der Lehrveranstaltung
This is an introductory course to set theory. It covers cardinal and ordinal arithmetic, Goedel's construtible universe, Martin's axioms, some infinitary combinatorics and gives an introduction to the method of forcing. In particular, we will establish the independence of the Continuum Hypothesis from the usual axioms of set theory.
Art der Leistungskontrolle und erlaubte Hilfsmittel
Mündliche Prüfung
Mindestanforderungen und Beurteilungsmaßstab
Prüfungsstoff
Literatur
1) T. Jech, "Set theory", The third millennium edition, revised and expanded. Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2003. xiv+769 pp.
2) L. Halbeisen, "Combinatorial se theory. With a gentle intorduction to forcing". Springer Monogrpahs in Mathematics. Springer, London, 2012. xvi+453 pp.
3) K. Kunun "Set theory", Studies in Logic (London), 34. College Publications, London, 2011, viii+401 pp.
2) L. Halbeisen, "Combinatorial se theory. With a gentle intorduction to forcing". Springer Monogrpahs in Mathematics. Springer, London, 2012. xvi+453 pp.
3) K. Kunun "Set theory", Studies in Logic (London), 34. College Publications, London, 2011, viii+401 pp.
Zuordnung im Vorlesungsverzeichnis
MLOM
Letzte Änderung: Fr 18.11.2022 00:23