{{menu|Teaching|Lehrveranstaltungen im Sommersemester 2005}}

{{Vorlesungsverzeichnis2|S2005}}
<!--01.03.05&#8211;30.06.05-->

=== Seminarraum 101 (Währinger Str. 25) ===

* Axiomatische Mengenlehre 2, ''Heike Mildenberger, Sy D.  Friedman'', VO 3h<br /> Di und Do 13:30 - 15:00<br /> Beginn: 2005-03-01

<blockquote>
Gibt es eine Aussage in der Sprache der Mengenlehre, so dass man auf
der Basis von ZFC weder sie noch ihr Negat beweisen kann? Und wenn ja,
wie zeigt man, dass eine Aussage diese Eigenschaft hat?

In der Vorlesung sollen Techniken vorgestellt werden, mit denen man
unter der Annahme, dass ZF widerspruchsfrei ist, verschiedene ZF- und
ZFC-Modelle konstruieren kann. Am Anfang der Vorlesung steht eine
Einführung in die Forcing-Technik. Wir studieren die
Kontinuumshypothese und deren Negat, und wir bauen ein Modell von ZF,
in dem die reellen Zahlen nicht wohlgeordnet werden können. 

Vorkenntnisse:

Zum Verständnis der Vorlesung braucht man gute Kenntnisse über die
Axiome, über Ordinal- und Kardinalzahlen und über die von
Neumann-Hierarchie, etwa im Umfang der Vorlesung "Axiomatische
Mengenlehre 1'', und Kenntnisse in der Mathematischen Logik, etwa im
Umfang der "Grundbegriffe''-Vorlesung. Gute Übung in der unendlichen
Kombinatorik ist sehr wichtig für das Erlernen der Forcing-Technik.
Zu dieser Vorlesung gibt es ein Skript, das wochenweise erstellt wird.
Doch noch besser sind:

Literatur:<br />
K. Kunen. Set Theory, An Introduction to Independence Proofs.
T. Jech, Set Theory
</blockquote>
* Privatissimum: Mathematische Logik, ''Sy D. Friedman'', SE 2h<br /> Di 16.00-17.30
* Proseminar zur Mathematischen Logik 1, ''Heike Mildenberger'', SE 2h<br /> Di 11.30 - 13.00 Uhr<br /> Beginn: 08.03.2005
* Mathematische Logik 1, ''Ren&eacute; Schipperus '', VO 4h<br /> Mo, Mi, Do 12.30 - 13.30<br /> Beginn: 02.03.2005
* Modelltheorie, ''Sy D. Friedman'', VO 2h<br /> Mo und Mi 14.00 - 15:00 Beginn: 04. April

<blockquote>
This is an elementary introduction to Model Theory based on the book
"Model Theory: An Introduction" by David Marker. I will discuss the
basic techniques, algebraic examples, types, indiscernibles and
strongly minimal sets. The only prerequisite is an understanding of
the basic definitions of first-order logic.
</blockquote>
* Nichtklassische Logiken, ''Peter Telec'', VO 2h<br /> Mo 15:15 - 16:45<br />
* Seminar für Neuroinformatik, ''Curt Christian (<font size="-1">gemeinsam mit Claudia Neubert</font>)'', SE 2h<br /> Fr 10.30 - 12.00<br /> Beginn: n. Ü.