{{menu|Teaching|Courses Summer Semester 2016}} {{DE|Sommer-LVA}} '''Note:''' To be graded, your registration including name, enrollment number, e-mail address, and signature is required in the first two weeks of the semester! '''Note:''' All lectures at the KGRC are given in English, or at least can be given in English if requested. '''Place "KGRC":''' [https://maps.google.at/maps?q=Kurt+G%C3%B6del+Research+Center+(KGRC)+for+Mathematical+Logic,+University+of+Vienna,+W%C3%A4hringer+Stra%C3%9Fe,+Wien&hl=de&ie=UTF8&sll=48.220685,16.38006&sspn=0.372851,0.617294&oq=kurt+g%C3%B6del+re&t=m&z=16 Währinger Straße 25], [[Floor plan|top floor]], lecture room 101 '''Place "HS11":''' [https://www.google.at/maps/search/Oskar-Morgenstern-Platz%201,%201090%20Wien Oskar-Morgenstern-Platz 1, 1090 Wien], 2nd floor, lecture hall 11 '''Place "HS2":''' [https://www.google.at/maps/search/Oskar-Morgenstern-Platz%201,%201090%20Wien Oskar-Morgenstern-Platz 1, 1090 Wien], ground floor, lecture hall 2 {{table top|Number|Type|Hours (ECTS)|Title|Module|Lecturer|Time|Place|Language}} {{table row|[https://ufind.univie.ac.at/en/course.html?lv=250085&semester=2016S 250085]|VO|2.0 (3.0)|[/~muellem3/teaching.html Basic concepts of mathematical logic]|MLO|[/~muellem3/ Moritz Müller]|Mon 9:45am–11:15am
begins 2016‑03‑07|HS11|German}} {{table row|[https://ufind.univie.ac.at/en/course.html?lv=250086&semester=2016S 250086]|UE|1.0 (2.0)|[/~vfischer/UE_Grundbegriffe2016.pdf Tutorials "Basic concepts of mathematical logic"]|MLO|[/~vfischer/ Vera Fischer]|Mon 11:30am–12:15pm
begins 2016‑03‑07|HS2|German}} {{table row|[https://ufind.univie.ac.at/en/course.html?lv=250087&semester=2016S 250087]|VO|3.0 (5.0)|[http://www.logic.univie.ac.at/~vfischer/SetTheory1.pdf Axiomatic set theory 1]|MLOM|[/~vfischer/ Vera Fischer]|Mon 8:30am–11:00am
begins 2016‑03‑07|KGRC|English}} {{table row|[https://ufind.univie.ac.at/en/course.html?lv=250088&semester=2016S 250088]|PS|2.0 (3.0)|[/~koelbingm72/Tutorat.html Introductory seminar: "Axiomatic set theory 1"]|MLOM|Marlene Koelbing|Fri 9:00am–10:30am
begins 2016‑03‑04*|KGRC|English}} {{table row|[https://ufind.univie.ac.at/en/course.html?lv=250089&semester=2016S 250089]|PJ+SE|2.0 (4.0)|[/2016/Project_seminar.html Project seminar (mathematical logic)]|MLOS|[/~sdf/ Sy-David Friedman]|Mon, Wed 2:00pm–3:00pm
begins 2016‑03‑02|KGRC|English}} {{table row|[https://ufind.univie.ac.at/en/course.html?lv=250090&semester=2016S 250090]|VO|2.0 (4.0)|[/2016/Selected_topics_in_mathematical_logic.html Selected topics in mathematical logic]|MLOV|[/~sdf/ Sy-David Friedman]|Tue, Thu 2:00pm–3:00pm
begins 2016‑03‑01|KGRC|English}} {{table row|[https://ufind.univie.ac.at/en/course.html?lv=250091&semester=2016S 250091]|SE|2.0 (4.0)|[/2016/Research_seminar.html Research Seminar (Mathematical logic)]|MLOV|[/~sdf/ Sy-David Friedman]|Thu 4:00pm–6:00pm
begins 2016‑03‑03|KGRC|English}} {{table row|[https://ufind.univie.ac.at/en/course.html?lv=250092&semester=2016S 250092]|VO|2.0 (3.0)|[/~muellem3/teaching.html Model theory]|MLOV|[/~muellem3/ Moritz Müller]|Tue 5:30pm–7:00pm*
begins 2016‑03‑08|KGRC|English}} {{table bottom}} {{comment|== Course details == === Selected topics in mathematical logic === Time: Tue, Thu 2:00pm–3:00pm
starts 2016‑03‑01
Place: KGRC In this course I'll explore three central combinatorial properties of set theory and their interaction. The Tree Property (TP) at a regular cardinal $\kappa$ asserts the nonexistence of a $\kappa$-tree with no $\kappa$-branch. The Reflection Property (RP) at the successor $\kappa^+$ of a regular cardinal $\kappa$ asserts that any stationary subset of kappa^+ consisting of ordinals of cofinality less than kappa has a stationary proper initial segment. And the Approachability Property (AP) at a regular cardinal kappa asserts the existence of a sequence $(a_i \| i < \kappa)$ of bounded subsets of $\kappa$ such that for club-many $\alpha < \kappa$, there is a cofinal sequence in $\alpha$ of ordertype cof($\alpha$) all of whose proper initial segments are of the form $a_i$ for some $i < \alpha$. We'll develop the tools needed for the "Eightfold Way Theorem", the result asserting that all 8 Boolean combinations of TP,RP,AP are possible at double successor cardinals. The situation at successors of limit cardinals is not yet well-understood. === Project seminar (mathematical logic) === Time: Mon, Wed 2:00pm–3:00pm
starts 2016‑03‑02
Place: KGRC In this project 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: Thu 4:00pm–6:00pm
starts 2016‑03‑03
Place: KGRC This is an advanced seminar in mathematical logic for doctoral and postdoctoral researchers. }} * Update from previous information == Modules == '''MLOL''' - 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)