CODE 61711 ACADEMIC YEAR 2019/2020 CREDITS 8 cfu anno 2 MATEMATICA 9011 (LM-40) - GENOVA SCIENTIFIC DISCIPLINARY SECTOR MAT/01 LANGUAGE Italian (English on demand) TEACHING LOCATION GENOVA SEMESTER 2° Semester TEACHING MATERIALS AULAWEB OVERVIEW Language: English AIMS AND CONTENT LEARNING OUTCOMES Introduction to set theory as a foundation of mathematics. PREREQUISITES Basic mathematical knowledge. TEACHING METHODS Teaching style: In presence SYLLABUS/CONTENT The axioms of set theory: introduction and motivations. First consequences of the axioms. Ordinals, cardinals, and their arithmetic. Infinite combinatorics. Introduction to independence proofs. RECOMMENDED READING/BIBLIOGRAPHY K. Kunen: The foundations of mathematics. K. Kunen: Set theory. Notes and exercises for the course. TEACHERS AND EXAM BOARD RICCARDO CAMERLO Exam Board RICCARDO CAMERLO (President) SARA NEGRI GIUSEPPE ROSOLINI LESSONS LESSONS START The class will start according to the academic calendar. Class schedule AXIOMATIC SET THEORY EXAMS EXAM DESCRIPTION Oral. Exam schedule Data appello Orario Luogo Degree type Note 06/01/2020 09:00 GENOVA Orale 22/01/2020 09:00 GENOVA Orale 07/02/2020 09:00 GENOVA Orale 01/06/2020 09:00 GENOVA Orale 19/06/2020 09:00 GENOVA Orale 08/07/2020 09:00 GENOVA Orale 31/08/2020 09:00 GENOVA Orale