MAGIC050: Set Theory

Course details

A core MAGIC course


Spring 2014
Monday, January 20th to Friday, March 28th


Live lecture hours
Recorded lecture hours
Total advised study hours


10:05 - 10:55


The assessment for this course will be via a single take-home paper in April with 2 weeks to complete and submit online.


This course is an introduction to set theory, focusing on foundational issues but with an eye also on the study of combinatorial properties of infinite objects.

The initial plan is to start out by motivating and introducing ZFC. Then we will develop the basic theory of the ordinals and cardinals in this theory, and will prove some classical theorems of combinatorial flavour. Time permitting, I would introduce the basics of the method of forcing and would outline the proof of the independence of the Continuum Hypothesis from ZFC. Alternatively, I could give an introduction to the constructible universe L. Finally, I would like to briefly discuss large cardinal axioms and make some considerations of foundational nature.

One of the goals of the course is to engage a working mathematician into looking at the foundations of the mathematical building.


There are no prerequisites for this course, except for a reasonable level of mathematical maturity. Having been exposed to a course in mathematical logic would be desirable but not necessary. In fact I will give brief outlines of all relevant notions from logic.


Please see the file syllabus.pdf


  • DA

    Dr David Aspero

    University of East Anglia


Follow the link for a book to take you to the relevant Google Book Search page

You may be able to preview the book there and see links to places where you can buy the book. There is also link marked 'Find this book in a library' - this sometimes works well, but not always - you will need to enter your location, but it will be saved after you do that for the first time.



The assessment for this course will be via a single take-home paper. You may upload your answers during the period 13-27 April.

Assessment not available

Assessments are only visible to those being assessed for the course.


Only consortium members have access to these files.

Please log in to view course materials.


Please log in to view lecture recordings.