OVERVIEW

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.

AIMS AND CONTENT

LEARNING OUTCOMES

Introduction to set theory as a foundation of mathematics.

AIMS AND LEARNING OUTCOMES

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.

PREREQUISITES

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.

TEACHING METHODS

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.

SYLLABUS/CONTENT

- 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

RECOMMENDED READING/BIBLIOGRAPHY

- 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

TEACHERS AND EXAM BOARD

Exam Board

RICCARDO CAMERLO (President)

SARA NEGRI

GIUSEPPE ROSOLINI (President Substitute)

LESSONS

Class schedule

The timetable for this course is available here: Portale EasyAcademy

EXAMS

EXAM DESCRIPTION

Oral examination.

ASSESSMENT METHODS

Oral interview.

If the exercises given during the course have been submitted, the interview may begin by discussing some of these.

Exam schedule