Skip to Content

MA1511: SET THEORY (2016-2017)

Last modified: 28 Jun 2018 10:27

Course Overview

Set theory was introduced by Cantor in 1872, who was attempting to understand the concept of "infinity" which defied the mathematical world since the Greeks. Set Theory is fundamental to modern mathematics - any mathematical theory must be formulated within the framework of set theory, or else it is deemed invalid. It is the alphabet of mathematics.

In this course we will study naive set theory. Fundamental object such as the natural numbers and the real numbers will be constructed. Structures such as partial orders and functions will be studied. And of course, we will explore infinite sets.

Course Details

Study Type Undergraduate Level 1
Session Second Sub Session Credit Points 15 credits (7.5 ECTS credits)
Campus None. Sustained Study No
  • Professor Ran Levi

Qualification Prerequisites


What courses & programmes must have been taken before this course?

  • Any Undergraduate Programme (Studied)
  • Either MA1005 Calculus 1 (Studied) or MA1006 Algebra (Studied)

What other courses must be taken with this course?


What courses cannot be taken with this course?


Are there a limited number of places available?


Course Description

Course Aims: The aim of this course is to make the students familiar the fundamental background necessary to understand all the later courses in mathematics. Main Learning Outcomes: The students should learn and get the working knowlegde of the material described in the Content section. Content: * Truth tables, examples of proofs; * sets, subsets, union, intersection, power set etc; * relations, linear and partial orders; * equivalence relation; * functions, images, preimages etc., bijections, cardinality; * construction of the natural numbers, integers, rational and real numbers; * countable and uncountable sets; * mathematical induction; * the axiom of choice and Zorn's lemma; Optional topics: * well ordered sets, ordinals; Schroeder-Bernstein's theorem; * transfinite induction and well ordering theorem; * Propositional logic - completeness and compactness.

Contact Teaching Time

Information on contact teaching time is available from the course guide.

Teaching Breakdown

More Information about Week Numbers

Details, including assessments, may be subject to change until 31 August 2023 for 1st half-session courses and 22 December 2023 for 2nd half-session courses.

Summative Assessments

1st Attempt: 1 two hour written examination (70%) in course assessment (30%)

Resit: 1 two-hour written examination paper (maximum of 100% resit and 70% resit with 30% in-course assessment).

Formative Assessment

Informal assessment of weekly homework through discussions in tutorials.


In-course assignments will normally be marked within one week and feedback provided to students in tutorials.

Course Learning Outcomes


Compatibility Mode

We have detected that you are have compatibility mode enabled or are using an old version of Internet Explorer. You either need to switch off compatibility mode for this site or upgrade your browser.