Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
Logout in [min] [minutetext]

Logik II - Einführung in die Mengenlehre - Einzelansicht

Grunddaten
Veranstaltungsart Vorlesung Langtext
Veranstaltungsnummer 100003 Kurztext
Semester WiSe 2022/23 SWS 4
Erwartete Teilnehmer/-innen 20 Studienjahr
Max. Teilnehmer/-innen 30
Credits
Hyperlink
Sprache englisch
Termine Gruppe: [unbenannt] iCalendar Export für Outlook
  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export für Outlook
Fr. 08:00 bis 10:00 woch 07.10.2022 bis 20.01.2023  Orléans-Ring 12 - SRZ 205       18.11.2022: Enfällt wg. Baumaßnahmen
Einzeltermine anzeigen
iCalendar Export für Outlook
Di. 08:00 bis 10:00 c.t. woch 11.10.2022 bis 17.01.2023  Orléans-Ring 12 - SRZ 205        
Gruppe [unbenannt]:
 


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Schlutzenberg, Farmer, Jun.-Prof. Dr. verantwort
Studiengänge
Abschluss - Studiengang Sem ECTS Bereich Teilgebiet
Bachelor - Mathematik (82 105 20) -
Bachelor - Mathematik (82 105 14) -
Master - Mathematik (88 105 13) -
Master - Mathematics (88 F23 20) -
Prüfungen / Module
Prüfungsnummer Modul
11005 Lecture 3 (Theoretical Mathematics) - Master Mathematics Version 2020
11001 Lecture 1 (Theoretical Mathematics) - Master Mathematics Version 2020
11003 Lecture 2 (Theoretical Mathematics) - Master Mathematics Version 2020
113003 Vorlesung Logik II - Bachelor Mathematik Version 2014
11005 Vorlesung zur theoretischen Mathematik 3 - Master Mathematik Version 2013
11003 Vorlesung zur theoretischen Mathematik 2 - Master Mathematik Version 2013
11001 Vorlesung zur theoretischen Mathematik 1 - Master Mathematik Version 2013
32003 Vorlesung Logik II - Bachelor Mathematik Version 2014
31003 Vorlesung Logik II - Bachelor Mathematik Version 2020
143003 Vorlesung Logik II - Bachelor Mathematik Version 2020
Prüfungsorganisationssätze
Prüfungsnummer Semester Termin Prüfer/-in Abschluss
11005 20222 01 Schlutzenberg, Farmer (Jun.-Prof. Dr.) (558716) 88 105 13
31003 20222 01 Schlutzenberg, Farmer (Jun.-Prof. Dr.) (558716) 82 105 20
11005 20222 01 Schlutzenberg, Farmer (Jun.-Prof. Dr.) (558716) 88 F23 20
11003 20222 01 Schlutzenberg, Farmer (Jun.-Prof. Dr.) (558716) 88 F23 20
11001 20222 01 Schlutzenberg, Farmer (Jun.-Prof. Dr.) (558716) 88 105 13
32003 20222 01 Schlutzenberg, Farmer (Jun.-Prof. Dr.) (558716) 82 105 14
143003 20222 01 Schlutzenberg, Farmer (Jun.-Prof. Dr.) (558716) 82 105 20
11001 20222 01 Schlutzenberg, Farmer (Jun.-Prof. Dr.) (558716) 88 F23 20
113003 20222 01 Schlutzenberg, Farmer (Jun.-Prof. Dr.) (558716) 82 105 14
11003 20222 01 Schlutzenberg, Farmer (Jun.-Prof. Dr.) (558716) 88 105 13
Zuordnung zu Einrichtungen
Institut für Mathematische Logik und Grundlagenforschung
Fachbereich 10 Mathematik und Informatik
Inhalt
Kommentar

Learnweb: L2-Set theory-2022_2 https://sso.uni-muenster.de/LearnWeb/learnweb2/course/view.php?id=65306

Literatur

- K. Kunen, The Foundations of Mathematics (Studies in Logic: Mathematical Logic and Foundations), College Publications, 2009.

- K. Kunen, Set Theory (Studies in Logic: Mathematical Logic and Foundations), Revised Ed., College Publications, 2011.

- F. Schlutzenberg, Skript zur Vorlesung (während des Semesters verfügbar)

Voraussetzungen

Course "Logik 1" (Vorlesung "Logik 1")

Lerninhalte

Dieser Kurs stellt eine Einführung in die Mengenlehre vor, zusammen mit einigen zentralen Fakten aus verbundenen Teilen der Logik. Eine Zusammenfassung der Themen, etwas von der Zeit abhängig, läuft wie folgt (wir nehmen an Kenntnisse der Materiallien aus "Logik 1"):

- ZFC Axiomen

- Ultraprodukte, Satz von Los, Kompaktheit der Logik der 1. Stufe

- Erbliche endliche Mengen, Definierbarkeit und Unvollständigkeit

- Wohlordnungen und transfinite Rekursion

- Arten des Auswahlaxioms

- Gödels konstruierbares Universum L und relative Konsistenz von ZFC + GCH

- Wenn die Zeit erlaubt: weitere Konsistentz-Beweise

 

Zielgruppe

Diese Vorlesung ist (ggf. mit den zugehörigen Übungen) wählbar in folgenden Studiengängen und Modulen:

BSc Mathematik

  • Vertiefung Logik
  • Nebenfach Logik, Vertiefung

MSc Mathematik

  • Verbreiterung (für PO 2013: als Vorlesung aus der Theoretischen Mathematik)z

Strukturbaum
Die Veranstaltung wurde 2 mal im Vorlesungsverzeichnis WiSe 2022/23 gefunden:
Verbreiterungen  - - - 1
Vertiefungen  - - - 2