Universität Wien

250100 VO Axiomatic set theory 1 (2017S)

5.00 ECTS (3.00 SWS), SPL 25 - Mathematik

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

Language: English

Examination dates

Lecturers

Classes (iCal) - next class is marked with N

The lectures are taking place Wednesdays, 11:30 - 13:50 at the Kurt Gödel Research Center, Room 101.

  • Wednesday 08.03. 11:30 - 13:50 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 15.03. 11:30 - 13:50 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 22.03. 11:30 - 13:50 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 29.03. 11:30 - 13:50 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 05.04. 11:30 - 13:50 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 26.04. 11:30 - 13:50 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 03.05. 11:30 - 13:50 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 10.05. 11:30 - 13:50 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 17.05. 11:30 - 13:50 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 24.05. 11:30 - 13:50 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 31.05. 11:30 - 13:50 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 07.06. 11:30 - 13:50 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 14.06. 11:30 - 13:50 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 21.06. 11:30 - 13:50 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Wednesday 28.06. 11:30 - 13:50 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)

Information

Aims, contents and method of the course

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.

Assessment and permitted materials

Oral Final Examination

Minimum requirements and assessment criteria

Examination topics

Reading list

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.

Association in the course directory

MLOM

Last modified: Fr 18.11.2022 00:23