Scheda programma d'esame
ELEMENTI DI TEORIA DEGLI INSIEMI
MARCELLO MAMINO
Anno accademico2018/19
CdSMATEMATICA
Codice053AA
CFU6
PeriodoSecondo semestre
LinguaItaliano

ModuliSettoreTipoOreDocente/i
ELEMENTI DI TEORIA DEGLI INSIEMIMAT/01LEZIONI60
MAURO DI NASSO unimap
MARCELLO MAMINO unimap
Programma non disponibile nella lingua selezionata
Learning outcomes
Knowledge

The student who successfully completes the course will be aquainted with the Zermelo-Fraenkel axiomatic system ZFC for set theory with the axiom of choice and with how ZFC may serve as a formalization of mathematics. He/she will be able to demonstrate a solid knowledge of cardinal and ordinal numbers and their use.

Assessment criteria of knowledge

The student will be assessed on his/her demonstrated ability to discuss the main course contents using the appropriate terminology. During the oral exam the student must be able to demonstrate his/her knowledge of the course material and to demonstrate propriety of expression. In the written exam (2 hours, 4 problems), the student must demonstrate his/her knowledge of the course material and to solve the proposed problems.

Methods:

  • Final oral exam
  • Final written exam
Teaching methods

Delivery: face to face

Learning activities:

  • attending lectures
  • individual study
  • Bibliography search

Attendance: Advised

Teaching methods:

  • Lectures
Syllabus

Zermelo-Fraenkel axiomatic set theory with axiom of choice. Formalization of mathematics. Equivalent formulations of the axiom of choice. Cardinal numbers. Well-orderings and ordinal numbers. Cardinal and ordinal algebras. Natural models.

Bibliography

Hrbacek-Jech, Introduction to Set Theory. Recommended readings: Stoll, Set Theory and Logic; Kunen, Set Theory; Jech, Set Theory; Levy, Basic Set Theory

Assessment methods

Final written exam. Final oral exam.

Ultimo aggiornamento 02/10/2018 09:03