Loading…

TUPlan is an independent, student-built planning aid. It is not affiliated with, endorsed by, or operated by TU Darmstadt. TUCaN remains the system of record for registration, exams and grades.

Impressum Privacy Terms

04-10-0606 Selected Topics in Logic: Introduction to Axiomatic Set Theory · TUPlan

← All courses

04-10-0606

Selected Topics in Logic: Introduction to Axiomatic Set Theory

FB04 Mathematics · Offered in SoSe 2026

No grade data reported for this course yet.

Grade distributions arrive when a student who took the course opens their Notenspiegel with the TUPlan extension installed.

Install the extension (opens in a new tab)Not in the Chrome Web Store yet — for now the link goes to a store search.

Was this course worth it?

No ratings yet — be the first.

Your vote is stored against a random id in this browser. No account, nothing that identifies you.

Weekly sessions · SoSe 2026

Tue15:20–17:00S215/234 · Exercise
Wed13:30–15:10S215/234 · Vorlesung und Übung

Parts

04-10-0606-vuLecture with exercise3 contact h/week

Language: Englisch
Taught by: Ph.D. Jin Wei

Course content

This course introduces the foundations of mathematics, with a focus on Zermelo-Fraenkel axiomatic set theory (ZFC). We will cover the following topics: - Axioms of set theory - Ordinals and cardinals - Models of set theory - Relative consistency proofs - (Potential advanced topics): infinitary combinatorics, inner models, forcing, and type-theoretic foundations of mathematics With a recommendation: Familiarity with the basics of mathematical logic is advisable; "Introduction to Mathematical Logic" is NOT a prerequisite.

Exam dates

No exam date published.

Add to planner

Times, rooms and details come from TUCaN and may be out of date. Report something wrong