Universität Wien

250104 VO Advanced topics in mathematical logic (2017S)

4.00 ECTS (2.00 SWS), SPL 25 - Mathematik

Details

Language: English

Examination dates

Lecturers

Classes (iCal) - next class is marked with N

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

Information

Aims, contents and method of the course

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.

Assessment and permitted materials

Minimum requirements and assessment criteria

Examination topics

Reading list

The course notes will be distributed in lecture.

Association in the course directory

MLOV

Last modified: Fr 18.11.2022 00:23