Vorlesung: Mengenlehre - Unabhängigkeitsbeweise WS 2020/2021

Beschreibung Vierstündige Vorlesung mit zweistündigen Uebungen als digitale Lehrveranstaltung
Zeit Die Vorlesungsvideos zeichne ich auf. Sie bleiben etwa ein Jahr auf der Kursseite. Virtuelle Treffen auf Absprache.
Ort Auf ILIAS unter dem Pfad Magazin--Lehrveranstaltungen aus HISinOne--Wintersemester 2020-- Mathematisches Institut-VB-- Mengenlehre - Unabhängigkeitsbeweise: Vorlesung
Dozentin: Heike Mildenberger
Sprechstunde Dozentin: n. V.
Mitwirkung bei den Übungen Brendan Stuber-Rousselle
Sprechstunde Assistent: n. V.
Übungen: Hannes Jakob
Zeit/Ort: Do 16 - 18 im Ilias-Mengenlehrekurs im dortigen BigBlueButton virtuellen Klassenzimmer, ab zweiter Woche.

Studienleistung

  • Mindestens 50% der erreichbaren Punkte in den schriftlich zu bearbeitenden Übungsaufgaben.

Prüfungsleistung

  • Schriftliche Prüfung am 11. Februar 2021, 10:30 Uhr bis 12:30 Uhr im großen Hörsaal Chemie (auch Rundbau genannt), Albertstr. 21.
Für die Prüfung dürfen Sie, falls Sie in Präsenz stattfindet, ein beidseitig beschriebenes Din A4-Blatt mit Notizen beliebiger Wahl mitbringen und konsultieren.

  • Klausureinsicht am Mittwoch, dem 17.2.2021, um 11 Uhr in Raum 307 in der Ernst-Zermelo-Str. 1

Bitte beachten Sie die weiteren Hinweise zu Studien- und Prüfungsleistungen im Modulhandbuch zu Ihrem Studiengang.

Beschreibung

Der Kommentar aus dem kommentierten Vorlesungsverzeichnis WS20/21.

Literatur

Folgende Literatur wird empfohlen:

  • Set Theory. An Introduction to Independence proofs, Kenneth Kunen, 1980
  • Set Theory, Kenneth Kunen, 1. Auflage 2011 oder 2. Auflage von 2013.
  • Set Theory. The Millenium Edition, Thomas Jech, Springer 2003 (PDF online über die UB zum Herunterladen.)

Skript

Skript in der Version vom 21.1.2021. Eigenes Skript. Wenn Sie Fehler finden, teilen Sie mir dies bitte mit. In dieser Version habe ich den $\Delta_1^{\sf F}$-Rekursionssatz im Kapitel 5.3 so allgemein gefasst, dass er für Absolutheitsaussagen über Forcing zitiert werden kann.

Mehr zu AC und alternative Axiome findet man auch hier: Skript zum Minikurs über Axiome. Ich schrieb dieses als Grundlage für einen vierstündigen Kurs, den ich auf einer virtuellen DAAD-Sommerschule im Oktober 2020 hielt. Wenn Sie Fehler finden, teilen Sie mir dies bitte mit.

Übungsblätter

Die Übungsblätter werden wöchentlich auf dieser Seite veröffentlicht. Die Abgabe soll jeweils bis zum darauffolgenden Dienstag um 12 Uhr durch Hochladen auf Ilias erfolgen. Jede(r) Teilnehmer(in) soll eigene Lösungen abgeben, die gemeinsame Abgabe ist nicht gestattet.

Blatt Ausgabe Abgabe
Blatt 1 03.11.2020 10.11.2020
Blatt 2 10.11.2020 17.11.2020
Blatt 3 zum zweiten Mal geändert 17.11.2020 (5.2.2021) 24.11.2020
Blatt 4 24.11.2020 01.12.2020
Blatt 5 01.12.2020 08.12.2020
Blatt 6 08.12.2020 15.12.2020
Blatt 7 in korrigierter Fassung, Blatt 7 original 17./15.12.2020 22.12.2020
Blatt 8 22.12.2020 12.01.2021
Blatt 9 12.01.2021 19.01.2021
Blatt 10 19.01.2021 26.01.2021
Blatt 11 26.01.2021 02.02.2021

Anmeldung/Organisatorisches

In HISinOne

Version der Seite vom 11.2.2021, HM