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 (last update: February 24) |