Cf. the course catalogues of TU Wien and University of Vienna.
104.558 | VO 2st, 3ECTS | AKALG Advanced forcing methods with emphasis on set theory of the reals |
104.108 | SE 2st, 3ECTS | AKLOG: Research seminar (with Martin Goldstern) |
104.294 | SE 2st, 3ECTS | AKLOG: Research seminar Set Theory |
104.108 | SE 2st, 3ECTS | AKLOG: Research seminar (with Martin Goldstern) |
104.294 | SE 2st, 3ECTS | AKLOG: Research seminar Set Theory |
104.294 | SE 2st, 3ECTS | AKLOG: Research seminar Set Theory (with Martin Goldstern) |
104.294 | SE 2st, 3ECTS | AKLOG: Research seminar (with Martin Goldstern) |
250109 | KO 2st, 3ECTS | Logische Spiele, Rätsel und Paradoxa für die Schule (using moodle). |
250083 | VO 2st, 4ECTS | Modelltheorie und Arithmetik (led by Tin Lok Wong) |
250082 | VO 3st, 5ECTS | Axiomatische Mengenlehre 1 |
250081 | UE 1st, 2ECTS | Übungen zu Grundbegriffe der mathematischen Logik (led by Ekaterina Fokina) |
250103 | VO 4st, 6ECTS | Einführung in die Mathematische Logik |
250065 | UE 1st, 2ECTS | Übungen zu Grundbegriffe der Mathematische Logik |
250075 | VO 3st, 5ECTS | Axiomatische Mengenlehre |
250080 | PS 2st 3 ECTS | Proseminar zur Einführung in die Mathematische Logik |
250118 | VO 2st 7 ECTS | Mengenlehre (reading course) |
250127 | VO 2st 3 ECTS | Forcing with random variables (led by Moritz Müller) |
250045 | UE 1st, 2 ECTS | Übungen zu Grundbegriffe der Mathematischen Logik |
250114 | VO 3st, 5 ECTS | Axiomatische Mengenlehre 1 |
250124 | PS 2st | Proseminar zur Einführung in die mathematische Logik |
250125 | VO 2st | Axiomatische Mengenlehre 2 |
250130 | VO 2st | Grundbegriffe der Mathematischen Logik. |
250132 | VO 3st | Axiomatische Mengenlehre 1 (with Hans Adler) |
250119 | PS 2st | Proseminar zur Einführung in die Mathematische Logik |
250120 | VO 2st | Axiomatische Mengenlehre 2 |
250128 | VO 2st | Rekursionstheorie |
250124 | VO 2st | Grundbegriffe der mathematischen Logik |
250123 | VO 3st | Einführung in die Theoretische Informatik (with Ajdin Halilovic) |
250122 | PS 2st | Proseminar zu Einführung in die Mathematische Logik |
250432 | VO 4st | Mathematische Logik 1 (with Sy-David Friedman) |
250434 | VO 3st | Mengenlehre 2 |
250150 | VO 2st | Grundbegriffe der Mathematischen Logik |
250086 | PS 2st | Proseminar zur Axiomatischen Mengenlehre 1 |
113.054 | UE 1st | Übungen zu Mathematik III (für Vermessungswesen) |
113.059 | UE 2st | Übungen zu Mathematik 1 (für die Informatik) |