Courses Summer Semester 2014

(Diese Seite gibt es auch auf Deutsch.)

Note: All lectures at the KGRC are given in English, or at least can be given in English if requested.

Number	Type	Hours (ECTS)	Title	Module	Lecturer	Time	Location	Language
250080	VO	2 (3.0)	Basic concepts of mathematical logic	MLO	Moritz Müller	Wed 3:00pm–5:00pm starts 2014-03-05	HS13	German
250081	UE	1 (2.0)	Tutorials "Basic concepts of mathematical logic"	MLO	Ekaterina Fokina	Thu 1:00pm–2:00pm starts: 2014-03-06	SR12	German
250082	VO	3 (5.0)	Axiomatic set theory 1	MLOM	Jakob Kellner	Fri 9:30am–12:00pm starts 2014-03-07	KGRC	German; English possible by agreement
250083	PS	2 (3.0)	Introductory seminar: "Axiomatic set theory 1"	MLOM	Lyubomyr Zdomskyy	Wed 8:30am–10:05am starts 2014-03-19	KGRC	German; English possible by agreement
250087	VO	2 (3.0)	Computability and complexity	MLOI	Moritz Müller	Mon 4:30pm–6:00pm starts 2014-03-10	KGRC	English possible by agreement
250088	VO	2 (3.0)	Model theory	MLOV	Martin Koerwien	Tue 3:45pm–5:15pm starts 2014-03-04	KGRC	English possible by agreement
250086	VO	2 (4.0)	Selected topics in set theory	MLOV	Sy-David Friedman	Tue, Thu 2:00pm–3:00pm starts 2014-03-04	KGRC	English
250085	PJ+SE	2 (4.0)	Project seminar (mathematical logic)	MLOS	Sy-David Friedman	Mon, Wed 2:00pm–3:00pm starts 2014-03-03	KGRC	English
250084	SE	2 (4.0)	Research seminar (mathematical logic)	MLOS	Sy-David Friedman	Thu 4:00pm–6:00pm starts 2014-03-06	KGRC	English

Locations

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.

Modules

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)

Kurt Gödel Research Center