Course for international guest/part time students
- Faculty
- Faculty of Humanities
- Organization
- BTK Institute of Philosophy
- Code
- BMI-LOTD17-204E.01
- Title
- Metatheory II.: Set theory
- Usual semester
- Autumn
- Published semester
- 2026/27/1
- ECTS
- 4
- Language
- en
- Learning outcomes
- Course content
- General aim of the course: The course assumes some familiarity with the basic concepts and methods of standard first-order logic. Content of the course: The course provides a philosophical introduction to set theory. The lectures will cover the following topics: informal introduction to Cantor's paradise; naive set thory as a formal system: the classical paradoxes; the axioms of Gödel-Bernays set theory; a reconstruction of the natural numbers; well-ordered classes; ordinal numbers; the axiom of choice; cardinal numbers; finitization of the axiom system; Gödel's constructible universe. The topics may change during the course, in accordance with student demand. Grading criteria, specific requirements: TBA Required reading: · Lecture notes (Last updated at December 11.) · Smullyan, R.and Fitting, M., Set Theory and the Continuum Problem. Oxford UP, 1996. Mendelson, E., Introduction to Mathematical logic. 4th ed. Springer, 1997.