{{menu|Teaching|Lehrveranstaltungen Wintersemester 2010-2011}}

* Note: All lectures at the KGRC (apart from ''Grundbegriffe der Mathematischen Logik'' VO + UE) are given in English, or at least can be given in English if requested.
* Hinweis: Alle Lehrveranstaltungen am KGRC (ausser den ''Grundbegriffen der Mathematischen Logik'' VO + UE) werden auf Englisch abgehalten, oder können zumindest bei Bedarf auf Englisch abgehalten werden.

{{Vorlesungsverzeichnis3|W2010}}

<table class="wikitable">
<thead>
<tr><th>Nummer<br>Number</th>
<th>Typ<br>Type</th>
<th>WSt (ECTS)</th>
<th>Titel<br>Title</th>
<th>Modul</th>
<th>Vortragende<br>Lecturer</th>
<th>Zeit (p&uuml;nktl.)<br>Time</th>
<th>Sprache<br>Language</th>
</tr>
</thead>
<tbody><!--

--><tr><!--
--><td>250123</td><!--
--><td>VO</td><!--
--><td>4 (6,0)</td><!--
--><td>Einf&uuml;hrung in die Mathematische Logik</td><!--
--><td>[#Module MLOL]</td><!--
--><td>Hans Adler</td><!--
--><td align="center">see webpage.</td><!--
--><td rowspan="3" align="center">Deutsch (English on demand)</td><!--
--></tr><tr><!--
--><td>250124</td><!--
--><td>UE</td><!--
--><td>2 (3,0)</td><!--
--><td>Proseminar zur Einf&uuml;hrung in die Mathematische Logik</td><!--
--><td>[#Module MLOL]</td><!--
--><td>Jakob Kellner</td><!--
--><td align="center">see webpage</td><!--
--></tr><tr><!--
--><td>250125</td><!--
--><td>VO</td><!--
--><td>2 (3,0)</td><!--
--><td>Axiomatische Mengenlehre 2</td><!--
--><td>[#Module MLOM]</td><!--
--><td>Jakob Kellner</td><!--
--><td align="center">see webpage</td><!--
--></tr><tr><!--
--><td>250126</td><!--
--><td>VO</td><!--
--><td>2 (4,0)</td><!--
--><td>[#AK Ausgewählte Kapitel aus der Math. Logik]</td><!--
--><td>[#Module MLOV]</td><!--
--><td>Sy-David Friedman</td><!--
--><td>Di&nbsp;14:00-15:00<br/>Do&nbsp;14:00-15:00<br>starts&nbsp;2010-10-12</td><!--
--><td rowspan="3" align="center">English</td><!--
--></tr><tr><!--
--><td>250127</td><!--
--><td>SE</td><!--
--><td>2 (4,0)</td><!--
--><td>[#Seminar_Mathematische Seminar aus der Mathematischen Logik]</td><!--
--><td>[#Module MLOS]</td><!--
--><td>Sy-David Friedman</td><!--
--><td>Mo&nbsp;14:00-15:00<br/>Mi&nbsp;14:00-15:00<br>starts&nbsp;2010-10-11</td><!--
--></tr><tr><!--
--><td>250128</td><!--
--><td>SE</td><!--
--><td>2 (4,0)</td><!--
--><td>[#Forschungsseminar Forschungsseminar]</td><!--
--><td>[#Module MLOS]</td><!--
--><td>Sy-David Friedman</td><!--
--><td>Do&nbsp;16:00-17:30<br>starts&nbsp;2010-10-14</td><!--
--></tr></tbody></table>

== Inhalte der Lehrveranstaltungen ==

=== <a name="AK"></a>Ausgewählte Kapitel aus der Math. Logik ===

Zeit: Di und Do 14:00-15:00<br/>
Beginn: 2010-10-12

Time: TUE and THU 14:00-15:00<br/>
starts 2010-10-12

The Higher Descriptive Set Theory of Isomorphism

This course is based on joint work with Hyttinen and Kulikov. We discuss the
descriptive set theory of the generalised Baire space kappa^kappa, kappa an
uncountable regular cardinal, and introduce a notion of Borel reducibility for
equivalence relations on this space. Then we apply this theory to study
isomorphism relations on the uncountable models of a first-order theory. This
work thereby relates two ways of classifying theories, one via Shelah's
stability theory and the other via set theory. On the set theory side we'll use
forcing and some elementary properties of Gödel's L; on the model theory side
we'll need some of Shelah's "main gap" analysis, which will be treated in
detail.

=== <a name="Seminar_Mathematische"></a>Seminar aus der Mathematischen Logik ===

Zeit: Mo und Mi 14:00-15:00<br/>
Beginn: 2010-10-11

Time: MON and WED 14:00-15:00<br/>
starts 2010-10-11

In diesem Seminar werden Vorträge über fortgschrittene Mathematische Logik von
Studierenden gehalten (in erster Linie von solchen die am KGRC eine Diplom-
oder Masterarbeit oder Dissertation schreiben).

In this Seminar, students give talks about advanced topics in mathematical
Logic. Intended mainly for students writing their Diploma-, Master- or PhD
thesis at the KGRC.

=== <a name="Forschungsseminar"></a>Forschungsseminar aus der Mathematischen Logik ===

Zeit: Do 16:00 - 17:30<br/>
Beginn: 2010-10-14

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

== <a name="Module"></a>Module ==
'''MLOL''' - Mathematische Logik

'''MLOM''' - Axiomatische Mengenlehre

'''MLOS''' - Seminare: Mathematische Logik und theoretische Informatik

'''MLOV''' - Vertiefungslehrveranstaltungen für den Studienschwerpunkt 
"Mathematische Logik und theoretische Informatik"