Timetable information in the Course Catalogue may be subject to change.

University Homepage
DRPS Homepage
DRPS Search
DRPS Contact
DRPS : Course Catalogue : School of Mathematics : Mathematics

Undergraduate Course: Axiomatic Set Theory (MATH11236)

Course Outline
SchoolSchool of Mathematics CollegeCollege of Science and Engineering
Credit level (Normal year taken)SCQF Level 11 (Year 5 Undergraduate) AvailabilityAvailable to all students
SCQF Credits10 ECTS Credits5
SummaryA first course in axiomatic set theory to include ordinals, cardinals, the axiom of choice developed in the axiom system chosen by the lecturer
Course description Paradoxes in nineteenth century mathematics showed that there is a need to be precise about the foundations of mathematics. Set Theory provides such a foundation. It also provides ways to deal with notions of infinity (through ordinal and cardinal numbers). The course will explore one or more such axiomatic formulations of Set Theory and show how to develop mathematics from these axioms as well as extensions of mathematics through ordinal and cardinal arithmetic. It will look at the axiom of choice and equivalents. Further topics may include model theory, large cardinals and/or independence proofs.
Entry Requirements (not applicable to Visiting Students)
Pre-requisites Co-requisites
Prohibited Combinations Other requirements None
Information for Visiting Students
Pre-requisitesVisiting students are advised to check that they have studied the material covered in the syllabus of each prerequisite course before enrolling.
High Demand Course? Yes
Course Delivery Information
Academic year 2022/23, Available to all students (SV1) Quota:  None
Course Start Semester 1
Timetable Timetable
Learning and Teaching activities (Further Info) Total Hours: 100 ( Lecture Hours 22, Seminar/Tutorial Hours 5, Summative Assessment Hours 2, Programme Level Learning and Teaching Hours 2, Directed Learning and Independent Learning Hours 69 )
Assessment (Further Info) Written Exam 80 %, Coursework 20 %, Practical Exam 0 %
Additional Information (Assessment) Coursework 20% Examination 80%
Feedback Not entered
Exam Information
Exam Diet Paper Name Hours & Minutes
Main Exam Diet S1 (December)Axiomatic Set Theory (MATH11236)2:00
Learning Outcomes
On completion of this course, the student will be able to:
  1. Demonstrate key consequences of an axiom system for Set Theory
  2. Demonstrate cardinal and ordinal arithmetic skills
  3. Demonstrate how mathematics can be developed from the axioms
  4. Show how the Axiom of Choice and its equivalents are used in Mathematics
Reading List
Keith Devlin, The Joy of Sets - Springer(free on-line access available)
Patrick Suppes, Axiomatic Set Theory - Dover, QA248Sup.
Thomas Jech, Set Theory- Springer, QA248Jec. (and free on-line access)
William Lawvere, Robert Rosebrugh, Sets for Mathematics - CUP, QA248Law (and free on-line access)
Additional Information
Graduate Attributes and Skills Not entered
KeywordsAST,Set Theory,Foundations
Course organiserProf Antony Maciocia
Tel: (0131 6)50 5994
Course secretaryMr Martin Delaney
Tel: (0131 6)50 6427
Help & Information
Search DPTs and Courses
Degree Programmes
Browse DPTs
Humanities and Social Science
Science and Engineering
Medicine and Veterinary Medicine
Other Information
Combined Course Timetable
Important Information