This page will be continuously updated during the course!
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
Lecturer
Course coordinator
Course
MT8002
Sergio
Ramírez Rico
<mma(at)eafit(dot)edu(dot)co>
Head of master of Applied
Mathematics
Course
MT5001
Andrés
Sicard-Ramírez <pregrado.is(at)eafit(dot)edu(dot)co>
Head
of the undergraduate program of Computing Science
Course CM0326
José Manuel Escorcia
Tafur <jmescorcit(at)eafit(dot)edu(dot)co>
Head
of the undergraduate program of Mathematical
Engineering
MT8002 (class 7937)Tuesdays, room 17-201, 5:00 p.m. – 7:00 p.m.
Derek Goldrei (1996). Classic Set Theory. A Guided Independent Study. Chapman & Hall. Corrections.
Herbert B. Enderton (1977). Elements of Set Theory. Academic Press. Corrections.
| 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 |
(In elaboration)
| Subject | Slides |
|---|---|
| Course Introduction | [ pdf ] |
| 4 The Zermelo–Fraenkel Axioms. 4.1 Introduction | [ pdf ] |
| 4 The Zermelo–Fraenkel Axioms. 4.2 A Formal Language | [ pdf ] |
| 4 The Zermelo–Fraenkel Axioms. 4.3 Axioms 1 to 3 | [ pdf ] |
| 4 The Zermelo–Fraenkel Axioms. 4.4 Axioms 4 to 6 | [ pdf ] |
| 4 The Zermelo–Fraenkel Axioms. 4.5 Axioms 7 to 9 | [ pdf ] |
| 6 Cardinals without the Axiom of Choice | [ pdf ] |
| 7 Ordered Sets. 7.2 Linearly Ordered Sets | [ pdf ] |
| 7 Ordered Sets. 7.3 Order Aritmetic | [ pdf ] |
| 7 Ordered Sets. 7.4 Well-Ordered Sets | [ pdf ] |
| 8 Ordinal Numbers. 8.2 Ordinal Numbers | [ pdf ] |
| List of Axioms | [ pdf ] |