{{menu|Teaching|Courses Summer Semester 2014}}

<nowiki>
<script type="text/x-mathjax-config">
  MathJax.Hub.Config({
    tex2jax: {
      inlineMath: [ ['$','$'], ["\\(","\\)"] ],
      processEscapes: true
    }
  });
</script>
<script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS_HTML">
</script>
</nowiki>

{{DE|Sommer-LVA}}

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

{{table top|Number|Type|Hours (ECTS)|Title|Module|Lecturer|Time|Location|Language}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250080&amp;semester=S2014 250080]|VO|2 (3.0)|[/~muellem3/teaching.html Basic concepts of mathematical logic]|[#Modules MLO]|[/~muellem3/ Moritz Müller]|Wed 3:00pm–5:00pm<br/>starts 2014-03-05|[#locations HS13]|German}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250081&amp;semester=S2014 250081]|UE|1 (2.0)|[/~efokina/teaching/ss2014_grundbegriffe.html Tutorials "Basic concepts of mathematical logic"]|[#Modules MLO]|[/~efokina/ Ekaterina Fokina]|Thu 1:00pm–2:00pm<br/>starts: 2014-03-06|[#locations SR12]|German}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250082&amp;semester=S2014 250082]|VO|3 (5.0)|[/~kellner/teaching/2014SS_VO_Mengenlehre1 Axiomatic set theory&nbsp;1]|[#Module MLOM]|[/~kellner/ Jakob Kellner]|Fri 9:30am–12:00pm<br/>starts 2014-03-07|[#locations KGRC]|German; English possible by agreement}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250083&amp;semester=S2014 250083]|PS|2 (3.0)|[/~lzdomsky/#Teaching Introductory seminar: "Axiomatic set theory&nbsp;1"]|[#Modules MLOM]|[/~lzdomsky/ Lyubomyr Zdomskyy]|Wed 8:30am–10:05am<br/>starts 2014-03-19|[#locations KGRC]|German; English possible by agreement}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250087&amp;semester=S2014 250087]|VO|2 (3.0)|[/~muellem3/teaching.html Computability and complexity]|[#Modules MLOI]|[/~muellem3/ Moritz Müller]|Mon 4:30pm–6:00pm<br/>starts 2014-03-10|[#locations KGRC]|English possible by agreement}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250088&amp;semester=S2014 250088]|VO|2 (3.0)|Model theory|[#Modules MLOV]|Martin Koerwien|Tue 3:45pm–5:15pm<br/>starts 2014-03-04|[#locations KGRC]|English possible by agreement}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250086&amp;semester=S2014 250086]|VO|2 (4.0)|[#AK Selected topics in set theory]|[#Modules MLOV]|[/~sdf/ Sy-David Friedman]|Tue, Thu 2:00pm–3:00pm<br/>starts 2014-03-04|[#locations KGRC]|English}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250085&amp;semester=S2014 250085]|PJ+SE|2 (4.0)|[#PJ Project seminar (mathematical logic)]|[#Modules MLOS]|[/~sdf/ Sy-David Friedman]|Mon, Wed 2:00pm–3:00pm<br/>starts 2014-03-03|[#locations KGRC]|English}}
{{table row|[http://online.univie.ac.at/vlvz?lang=en&amp;lvnr=250084&amp;semester=S2014 250084]|SE|2 (4.0)|[#Forschungsseminar Research seminar (mathematical logic)]|[#Modules MLOS]|[/~sdf/ Sy-David Friedman]|Thu&nbsp;4:00pm–6:00pm<br/>starts 2014-03-06|[#locations KGRC]|English}}
{{table bottom}}

=== <a name="locations"></a>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 ==

=== <a name="AK"></a>Selected Topics from Set Theory ===

Time: Tue, Thu 2:00pm–3:00pm<br/>
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.

=== <a name="PJ"></a>Project seminar (mathematical logic) ===

Time: Mon, Wed 2:00pm–3:00pm<br/>
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.

=== <a name="Forschungsseminar"></a>Research Seminar ===

Time: Thursdays 4:00pm–6:00pm<br/>
starts 2014-03-06

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

== <a name="Modules"></a>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)