104.653 AKLOG Set Theory
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2024S, VO, 4.0h, 6.0EC
TUWEL

Properties

  • Semester hours: 4.0
  • Credits: 6.0
  • Type: VO Lecture
  • Format: Presence

Learning outcomes

After successful completion of the course, students are able to master basic notions in set theory such as ordinals and cardinals and apply Gödel's constructible universe as well as large cardinals, e.g., in the context of the continuum hypothesis.

Subject of course

Ordinals, cardinals, absoluteness, stationary sets, constructibility, large cardinals, ultrapowers.

Teaching methods

Lecture.

Mode of examination

Oral

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue13:15 - 14:4505.03.2024 - 18.06.2024 Dissertantenraum, Freihaus, green tower, 8th floorAKLOG Mengenlehre
Wed15:00 - 17:0006.03.2024Sem.R. DA grün 06B Set Theory
Wed15:15 - 16:4513.03.2024 - 19.06.2024 Dissertantenraum, Freihaus, green tower, 8th floorAKLOG Mengenlehre
AKLOG Set Theory - Single appointments
DayDateTimeLocationDescription
Tue05.03.202413:15 - 14:45 Dissertantenraum, Freihaus, green tower, 8th floorAKLOG Mengenlehre
Wed06.03.202415:00 - 17:00Sem.R. DA grün 06B Set Theory
Tue12.03.202413:15 - 14:45 Dissertantenraum, Freihaus, green tower, 8th floorAKLOG Mengenlehre
Wed13.03.202415:15 - 16:45 Dissertantenraum, Freihaus, green tower, 8th floorAKLOG Mengenlehre
Tue19.03.202413:15 - 14:45 Dissertantenraum, Freihaus, green tower, 8th floorAKLOG Mengenlehre
Wed20.03.202415:15 - 16:45 Dissertantenraum, Freihaus, green tower, 8th floorAKLOG Mengenlehre
Tue09.04.202413:15 - 14:45 Dissertantenraum, Freihaus, green tower, 8th floorAKLOG Mengenlehre
Wed10.04.202415:15 - 16:45 Dissertantenraum, Freihaus, green tower, 8th floorAKLOG Mengenlehre
Tue16.04.202413:15 - 14:45 Dissertantenraum, Freihaus, green tower, 8th floorAKLOG Mengenlehre
Wed17.04.202415:15 - 16:45 Dissertantenraum, Freihaus, green tower, 8th floorAKLOG Mengenlehre
Tue23.04.202413:15 - 14:45 Dissertantenraum, Freihaus, green tower, 8th floorAKLOG Mengenlehre
Wed24.04.202415:15 - 16:45 Dissertantenraum, Freihaus, green tower, 8th floorAKLOG Mengenlehre
Tue30.04.202413:15 - 14:45 Dissertantenraum, Freihaus, green tower, 8th floorAKLOG Mengenlehre
Tue07.05.202413:15 - 14:45 Dissertantenraum, Freihaus, green tower, 8th floorAKLOG Mengenlehre
Wed08.05.202415:15 - 16:45 Dissertantenraum, Freihaus, green tower, 8th floorAKLOG Mengenlehre
Tue14.05.202413:15 - 14:45 Dissertantenraum, Freihaus, green tower, 8th floorAKLOG Mengenlehre
Wed15.05.202415:15 - 16:45 Dissertantenraum, Freihaus, green tower, 8th floorAKLOG Mengenlehre
Wed22.05.202415:15 - 16:45 Dissertantenraum, Freihaus, green tower, 8th floorAKLOG Mengenlehre
Tue28.05.202413:15 - 14:45 Dissertantenraum, Freihaus, green tower, 8th floorAKLOG Mengenlehre
Wed29.05.202415:15 - 16:45 Dissertantenraum, Freihaus, green tower, 8th floorAKLOG Mengenlehre

Examination modalities

Oral exam.

Course registration

Begin End Deregistration end
06.03.2024 00:00 07.06.2024 00:00

Curricula

Study CodeObligationSemesterPrecon.Info
860 GW Optional Courses - Technical Mathematics Not specified

Literature

No lecture notes are available.

Previous knowledge

Familiarity with basic logic.

Language

German