Blume

Mengenlehre: Unabhängigkeitsbeweise
Sommersemester 2017

Universitätssiegel
Mathematisches Institut Abteilung für Math. Logik

Die ist die Homepage der Vorlesung "Mengenlehre: Unabhägigkeitsbeweise" im Sommersemester 2017.

Lehrpersonen

Vorlesung: Heike Mildenberger
Übungsblätter: Fiorella Guichardaz
Tutor: Patrick Meurin

Aus dem kommentierten Vorlesungsverzeichnis

Die Beschreibung vom Dezember 2016.

Zeit und Ort

Dienstags und donnerstags von 10 - 12 SR 404 in der Eckerstr. 1.
Die Termine fuer die beiden Uebungsgruppen werden in der ersten Vorlesungsstunde abgestimmt.

Aufgaben

Anwesenheitsaufgaben
Blatt 1
Blatt 2
Blatt 3
Blatt 4
Blatt 5
Blatt 6
Blatt 7
Blatt 8
Blatt 9
Blatt 10
Blatt 11
Blatt 12

Die Übungsstunde findet freitags von 12 - 14 Uhr im SR 127 statt, ab der ersten Semesterwoche.

Die Übungen beginnen in der ersten Woche mit den Anwesenheitsaufgaben. In der zweiten Woche am Freitag werden dann die in der ersten Woche ausgegebenen und am Dienstag der zweiten Woche abgegebenen Aufgaben von Blatt 1 besprochen. Blatt 12 zählt als Bonusblatt, d.h., die Punkte werden in den Zähler, aber nicht in den Nenner des Quotienten eingerechnet.

Skript

Skript in der Version vom 22.4.2017.

Skript in der Version vom 9.5.2017. Unterschiede zur vorigen Version: Im Kapitel über die Fundierung habe ich die fehlenden Beweise hinzugefüg. Die lexikographische Ordnung auf dem kartesischen Produkt wurde der ordinalen Multiplikation angepasst. In der Relation D vor dem Rekursionssatz habe ich den Definitionsbereich korrigiert.

Skript in der Version vom 30.6.2017. Unterschiede zur vorigen Version: Satz 6.8 auf Herrn Meurins Hinweis hin geändert: Überall auf die Vorgängermengen restringiert und transitiven Abschluss weggelassen. Einige Druckfehler im Abschnitt über Forcing-Stern entfernt.

Skript in der Version vom 19.7.2017. Unterschiede zur vorigen Version: Menge durch erzeugten Filter ersetzt kurz vor Satz 9.8, Bedingungen an $n$ im Satz 9.8 veschärft, einige Druckfehler aus dem Kapitel über vollst. Einbettungen entfernt.

Es gibt sicherlich noch viele Druckfehler. Wenn Sie schlimmere Fehler finden, informieren Sie mich bitte.

Studienleistung und Zulassung zur Prüfungsleistung

Wie in der Ergänzung zum Modulhandbuch beschrieben. Bitte vereinbaren Sie mit mir individuelle Prüfungstermine im Zeitraum vom Vorlesungsende bis zum 30.9.2017.
© Last update April 17, 2017 by H.M.