Title A Philosophical Introduction to Set Theory
Codes BMVD-020.22, BBV-020.22, BBN-FIL-401.54, BMA-LOTD-333.02, BMI-LOTD-333E.02, BMA-FILD-401.54, BMI-LOTD-204E.02, BMA-LOTD-204.02
Lecturer Mekis Péter
Time and venue Tuesday 12:00-13:30 I -104 (basement) --- first session: February 10!
Description This course gives an introduction to the basic concepts and fundamental theorems of set theory fro the viewpoint of the foundations of mathematics. We work in the first-order framework known as Gödel-Bernays set theory (GB). This system has the same set universe as its more well-known akin, Zermelo--Fraenkel set theory, supplemented with parametrically definable classes.

After developing the hierarchies of the ordinal and cardinal numbers, we discuss some basic consistency results, first proven by Gödel in the framework of GB.
Literature
  • Lecture notes (written by the lecturer)
  • Gödel, K.: The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory. Princeton UP, 1940.
  • Mendelson, E., Introduction to Mathematical Logic. 5th ed. Chapmen & Hall, 2010.

Lecture notes (last update: February 24)