Vorlesung: Mengenlehre - Unabhängigkeitsbeweise Sommersemester 2023

Beschreibung Vierstündige Vorlesung mit zweistündigen Uebungen
Zeit Di, Do 10 -- 12
Ort SR 404
Dozentin: Heike Mildenberger
Sprechstunde Dozentin: n. V.
Mitwirkung bei den Übungen Christian Bräuninger
Sprechstunde Assistent: n. V.
Übungen: Hannes Jakob
Zeit/Ort: Fr 12-14, SR 127/128

Studienleistung

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

Prüfungsleistung

  • Eventuell schriftliche Prüfung
Für die Prüfung dürfen Sie, falls sie schriftlich stattfindet, ein beidseitig beschriebenes Din A4-Blatt mit Notizen beliebiger Wahl mitbringen und konsultieren.

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

Beschreibung

Der Kommentar aus dem kommentierten Vorlesungsverzeichnis Sommersemester 2023.

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 09.20.2023. Eigenes Skript. Wenn Sie Fehler finden, teilen Sie mir dies bitte mit.

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 eine Woche darauf erfolgen. Jede(r) Teilnehmer(in) soll eigene Lösungen abgeben, die gemeinsame Abgabe ist nicht gestattet.

Blatt Ausgabe Abgabe
Blatt 1 18.04.2023 25.04.2023
Blatt 2 25.04.2023 02.05.2023
Blatt 3 02.05.2023 09.05.2023
Blatt 4 09.05.2023 16.05.2023
Blatt 5 16.05.2023 23.05.2023
Blatt 6 23.05.2023 06.06.2023
Blatt 7 06.06.2023 13.06.2023
Blatt 8 20.06.2023 27.06.2023
Blatt 9 27.06.2023 04.07.2023
Blatt 10 04.07.2023 11.07.2023
Blatt 11 11.07.2023 18.07.2023

Anmeldung/Organisatorisches

In HISinOne

Version der Seite vom 7.11.2023, HM