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
1st 25% 5th Tuesday, August 11
2nd 25% 9th Tuesday, September 8
3rd 25% 13th Tuesday, October 13
4th 25% 17th Tuesday, November 10

Slides

(In elaboration)

Subject Slides
Course Introduction [ pdf ]
4.1 The Zermelo–Fraenkel Axioms. Introduction [ pdf ]
4.2 The Zermelo–Fraenkel Axioms. A Formal Language [ pdf ]
4.3 The Zermelo–Fraenkel Axioms. Axioms 1 to 3 [ pdf ]
4.4 The Zermelo–Fraenkel Axioms. Axioms 4 to 6 [ pdf ]
4.5 The Zermelo–Fraenkel Axioms. Axioms 7 to 9 [ pdf ]
6. Cardinals without the Axiom of Choice [ pdf ]
7.2 Ordered Sets. Linearly Ordered Sets [ pdf ]
7.3 Ordered Sets. Order Aritmetic [ pdf ]
7.4 Ordered Sets. Well-Ordered Sets [ pdf ]
List of Axioms [ pdf ]