MT8002 Elements of Set Theory

Semester 2026-2

This page will be continuously updated during the course!

Lecturer

Andrés Sicard-Ramírez <asr(at)eafit(dot)edu(dot)co>
Office hours: Mondays, 5:00 p.m. – 6:00 p.m., room 19-409

Official channel

  1. Lecturer

  2. Course coordinator

  3. Course MT8002
    Sergio Ramírez Rico <mma(at)eafit(dot)edu(dot)co>
    Head of master of Applied Mathematics

  4. Course MT5001
    Andrés Sicard-Ramírez <pregrado.is(at)eafit(dot)edu(dot)co>
    Head of the undergraduate program of Computing Science

  5. Course CM0326
    José Manuel Escorcia Tafur <jmescorcit(at)eafit(dot)edu(dot)co>
    Head of the undergraduate program of Mathematical Engineering

Lectures

MT8002 (class 7937)
Tuesdays, room 17-201, 5:00 p.m. – 7:00 p.m.

Textbook

Derek Goldrei (1996). Classic Set Theory. A Guided Independent Study. Chapman & Hall. Corrections.

Other books

Herbert B. Enderton (1977). Elements of Set Theory. Academic Press. Corrections.

Examination

Exam % Week Date Textbook material
1st 25% 5th Tuesday, August 11 • The topics presented in class
• Chapter 4. The Zermelo–Fraenkel Axioms (excluding Theorem 4.4 onwards)
2nd 25% 9th Tuesday, September 8 TBA
3rd 25% 13th Tuesday, October 13 TBA
4th 25% 17th Tuesday, November 10 TBA

Slides

(In elaboration)

Subject Slides
Course Introduction [ pdf ]
The Zermelo–Fraenkel Axioms. Introduction [ pdf ]
The Zermelo–Fraenkel Axioms. A Formal Language [ pdf ]
The Zermelo–Fraenkel Axioms. Axioms 1 to 3 [ pdf ]
The Zermelo–Fraenkel Axioms. Axioms 4 to 6 [ pdf ]
The Zermelo–Fraenkel Axioms. Axioms 7 to 9 [ pdf ]
List of Axioms [ pdf ]
Appendix: Logical Notation, Mathematical Notation and Acronyms [ pdf ]