AXIOMATIC SET THEORY

iten
Code
61711
ACADEMIC YEAR
2021/2022
CREDITS
5 credits during the 2nd year of 9011 Mathematics (LM-40) GENOVA
SCIENTIFIC DISCIPLINARY SECTOR
MAT/01
LANGUAGE
Italian (English on demand)
TEACHING LOCATION
GENOVA (Mathematics)
semester
2° Semester
Teaching materials

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

Office hours: By appointment.

Exam Board

RICCARDO CAMERLO (President)

SARA NEGRI

GIUSEPPE ROSOLINI (President Substitute)

LESSONS

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.

Class schedule

All class schedules are posted on the EasyAcademy portal.

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

Date Time Location Type Notes