The course presents the basics of set theory, developing the theory from the axioms and investigating some of its interesting aspects, towards the introduction of the techniques for independence proofs.
Introduction to set theory as a foundation of mathematics.
Some goals of the course are: show how set theory constitutes a foundational theory in which the entire current mathematics can be developed; investingate some aspect of the theory of intrinsic interest; provide an introduction to independence proofs.
At the end of the course, the student is supposed to master the set theoretic techniques and be able to use autonomously constructions and arguments that are typical of the theory.
All the necessary notions will be defined in the course.
However, familiarity with the topics presented in a course of Mathematical logic can be useful, as well as some acquaintance with basic topics in algebra, analysis, and topology.
Classroom lectures.
During the course, several exercises will be proposed, in order to verify the understanding of the subject. Students are encouraged to submit their solutions, which will be checked and discusses. If the exercises are evaluated positively, they may contribute to the final evalution.
- Axioms of set theory
- First consequences of the axioms
- Set theoretic definitions of the common mathematical objects
- Ordinal and cardinal numbers, and their arithmetic
- Equivalents of the axiom of choice
- Real numbers and the continuum hypothesis
- Introduction to independence proofs
- K. Kunen, The foundations of mathematics, College Publications 2009.
- K. Kunen, Set theory, College Publications 2013.
- Detailed notes of the course, available on aulaweb page
RICCARDO CAMERLO (President)
SARA NEGRI
GIUSEPPE ROSOLINI (President Substitute)
Oral examination.
Oral interview.
If the exercises given during the course have been submitted, the interview may begin by discussing some of these.
