Universität Wien
Achtung! Das Lehrangebot ist noch nicht vollständig und wird bis Semesterbeginn laufend ergänzt.

250104 VO Advanced topics in mathematical logic (2017S)

4.00 ECTS (2.00 SWS), SPL 25 - Mathematik

Details

Sprache: Englisch

Prüfungstermine

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

  • Donnerstag 02.03. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 07.03. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 09.03. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 14.03. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 16.03. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 21.03. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 23.03. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 28.03. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 30.03. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 04.04. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 06.04. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 25.04. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 27.04. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 02.05. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 04.05. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 09.05. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 11.05. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 16.05. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 18.05. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 23.05. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 30.05. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 01.06. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 08.06. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 13.06. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 20.06. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 22.06. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Dienstag 27.06. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)
  • Donnerstag 29.06. 14:00 - 15:00 (ehem.Seminarraum d. Inst. f. Formale Logik, Währinger Straße 25, 2. Stock, Raum 101)

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

The Hyperuniverse

The Hyperuniverse is the collection of all countable transitive models of ZFC. This course is devoted to the mathematical study of the structure of the Hyperuniverse, which entails numerous issues in forcing, definability, large cardinals, determinacy and infinitary logic.

Art der Leistungskontrolle und erlaubte Hilfsmittel

Mindestanforderungen und Beurteilungsmaßstab

Prüfungsstoff

Literatur

The course notes will be distributed in lecture.

Zuordnung im Vorlesungsverzeichnis

MLOV

Letzte Änderung: Fr 18.11.2022 00:23