Courses Summer Semester 2014

(Diese Seite gibt es auch auf Deutsch.)

NumberTypeHours (ECTS)TitleModuleLecturerTimeLocationLanguage
250080VO2 (3.0)Basic concepts of mathematical logicMLOMoritz MüllerWed 3:00pm–5:00pm
starts 2014-03-05
250081UE1 (2.0)Tutorials "Basic concepts of mathematical logic"MLOEkaterina FokinaThu 1:00pm–2:00pm
starts: 2014-03-06
250082VO3 (5.0)Axiomatic set theory 1MLOMJakob KellnerFri 9:30am–12:00pm
starts 2014-03-07
KGRCGerman; English possible by agreement
250083PS2 (3.0)Introductory seminar: "Axiomatic set theory 1"MLOMLyubomyr ZdomskyyWed 8:30am–10:05am
starts 2014-03-19
KGRCGerman; English possible by agreement
250087VO2 (3.0)Computability and complexityMLOIMoritz MüllerMon 4:30pm–6:00pm
starts 2014-03-10
KGRCEnglish possible by agreement
250088VO2 (3.0)Model theoryMLOVMartin KoerwienTue 3:45pm–5:15pm
starts 2014-03-04
KGRCEnglish possible by agreement
250086VO2 (4.0)Selected topics in set theoryMLOVSy-David FriedmanTue, Thu 2:00pm–3:00pm
starts 2014-03-04
250085PJ+SE2 (4.0)Project seminar (mathematical logic)MLOSSy-David FriedmanMon, Wed 2:00pm–3:00pm
starts 2014-03-03
250084SE2 (4.0)Research seminar (mathematical logic)MLOSSy-David FriedmanThu 4:00pm–6:00pm
starts 2014-03-06


HS13: lecture hall 13, Oskar-Morgenstern-Platz 1, 1090 Wien

SR12: seminar room 12, Oskar-Morgenstern-Platz 1, 1090 Wien

KGRC: lecture room at the Kurt Gödel Research Center, room O2.101, Währinger Straße 25, 1090 Wien

Course details

Selected Topics from Set Theory

Time: Tue, Thu 2:00pm–3:00pm
starts 2014-03-04

This course will focus on cardinal characteristics for uncountable regular cardinals. This is a relatively new subject with many interesting open questions. There are at least four motivations for pursuing this topic: It fuels the search for new iterated forcing methods using uncountable support, it interacts in interesting ways with large cardinal theory, the global behaviour of cardinal characteristics gives rise to the study of "internal consistency" in set theory and it provides a context where analogues of unsolved problems for the standard cardinal characteristics may be solved (for example Roitman's problem). We'll look at the dominating and bounding numbers, the almost disjointness number, the uniformity number and the splitting number for uncountable regular cardinals, touching on work of Cummings-Shelah, Blass-Hyttinen-Zhang, Garti-Shelah, Ben-Neria and joint work of mine with Honzik, Ondrejovic, Thompson and Zdomskyy.

Project seminar (mathematical logic)

Time: Mon, Wed 2:00pm–3:00pm
starts 2014-03-03

In this Seminar, students give talks about advanced topics in mathematical Logic. This seminar is intended mainly for students writing their diploma, master or PhD thesis at the KGRC.

Research Seminar

Time: Thursdays 4:00pm–6:00pm
starts 2014-03-06

This is an advanced seminar in mathematical logic for doctoral and postdoctoral researchers.


MLO - Mathematische Logik (mathematical logic)

MLOM - Axiomatische Mengenlehre (axiomatic set theory)

MLOI - Theoretische Informatik (theoretical computer science)

MLOS - Seminare: Mathematische Logik und theoretische Informatik (seminars in mathematical logic and computer science)

MLOV - Vertiefungslehrveranstaltungen für den Studienschwerpunkt "Mathematische Logik und theoretische Informatik" (courses elaborating on mathematical logic and theoretical computer science as an area of study)

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2014-03-10, 18:56.