Seminar: Di, 16-18h, SR 403, Ernst-Zermelo-Str. 1
Preliminary Meeting 29.01., 13:15, Raum 313, Ernst-Zermelo-Str. 1
Preparation meetings for talks: Dates by arrangement
Teacher: Heike Mildenberger
Assistant: Maxwell Levine
Language: Talk/participation possible in German and English
Set Theory
Elective (Option Area) (2HfB21)
Mathematical Seminar (BSc21)
Compulsory Elective in Mathematics (BSc21)
Supplementary Module in Mathematics (MEd18)
Mathematical Seminar (MSc14)
Elective (MSc14)
Elective (MScData24)
Set Theory – Independence Proofs
Lecture: Di, Do, 12-14h, SR 404, Ernst-Zermelo-Str. 1
Tutorial: 2 hours, date to be determined
Teacher: Maxwell Levine
Assistant: Hannes Jakob
Language: in English
How does one prove that something cannot be proved? More precisely, how does one prove that a particular statement does not follow from a particular collection of axioms?
These questions are often asked with respect to the axioms most commonly used by mathematicians: the axioms of Zermelo-Fraenkel set theory, or ZFC for short. In this course, we will develop the conceptual tools needed to understand independence proofs with respect to ZFC. On the way we will develop the theory of ordinal and cardinal numbers, the basics of inner model theory, and the method of forcing. In particular, we will show that Cantor's continuum hypothesis, the statement that \(2^{\aleph_0}=\aleph_1\), is independent of ZFC.
Required: Mathematical Logic
Elective (Option Area) (2HfB21)
Compulsory Elective in Mathematics (BSc21)
Mathematical Concentration (MEd18, MEH21)
Pure Mathematics (MSc14)
Mathematics (MSc14)
Concentration Module (MSc14)
Elective (MSc14)
Elective (MScData24)
Lecture: Mi, 12-14h, SR 127, Ernst-Zermelo-Str. 1
Teacher: Maxwell Levine
Teacher: Heike Mildenberger
Assistant: Maxwell Levine
Compulsory Elective in Mathematics (BSc21)
Supplementary Module in Mathematics (MEd18)
Di, 12-14h, SR 404, Ernst-Zermelo-Str. 1
Teacher: Christian Ketterer
Assistant: Maxwell Levine
Compulsory Elective in Mathematics (BSc21)
Supplementary Module in Mathematics (MEd18)
Lecture: Do, 14-16h, SR 404, Ernst-Zermelo-Str. 1
Teacher: Maxwell Levine
Assistant: Maxwell Levine
general:
Di, 16-18h, SR 125, Ernst-Zermelo-Str. 1
Teacher: Heike Mildenberger
Assistant: Maxwell Levine
Undergraduate Seminar (2HfB21, BSc21, MEH21, MEB21)
Teacher: Heike Mildenberger
Assistant: Maxwell Levine
Compulsory Elective in Mathematics (BSc21)
Supplementary Module in Mathematics (MEd18)
Lecture: Mi, 14-16h, SR 125, Ernst-Zermelo-Str. 1
Teacher: Maxwell Levine
general:
Compulsory Elective in Mathematics (BSc21)
Supplementary Module in Mathematics (MEd18)
Mo, 14-16h, SR 404, Ernst-Zermelo-Str. 1
Teacher: Heike Mildenberger
Assistant: Maxwell Levine
Supplementary Module in Mathematics (MEd18)
Compulsory Elective in Mathematics (BSc21)
Teacher: Heike Mildenberger
Assistant: Maxwell Levine
Compulsory Elective in Mathematics (BSc21)
Supplementary Module in Mathematics (MEd18)
Teacher: Heike Mildenberger
Assistant: Maxwell Levine
general:
Pure Mathematics (MSc14)
Mathematical Concentration (MEd18, MEH21)
Compulsory Elective in Mathematics (BSc21)
Lecture: Do, 14-16h, , online
Teacher: Maxwell Levine
Assistant: Christian Bräuninger
general:
Supplementary Module in Mathematics (MEd18)
Compulsory Elective in Mathematics (BSc21)
Teacher: Heike Mildenberger
Assistant: Maxwell Levine
Supplementary Module in Mathematics (MEd18)
Compulsory Elective in Mathematics (BSc21)