Skip to the content

Under construction. This area is a framework being built: most courses have no teaching material yet, and things may change or break. Private self-study. Not an official programme and not recognised by any ministry or school. No qualification, mark or document is issued, and “years 1 to 3” and “advanced” are names of study paths only.

← All courses

P14 Set theory & foundations

Advanced pathP: Advanced pureplannedabout 160 h (planning estimate)

Planned: syllabus only, no teaching material yet. Nothing on this page can be studied; it describes what the course would cover.

Named in: Advanced pure mathematics pathway

Why this course

Axiomatic set theory, ordinals, cardinals and independence.

Prerequisites

Required
U03 Mathematical logic
Recommended
none
Can be taken at the same time
none
Everything required, transitively (4 courses)
B01, B05, F01, U03
Courses that require this one
none

Concept-level units

Units follow the syllabus order, as a recommended sequence rather than a gate.

  1. Axiomatic set theory
  2. Ordinals
  3. Cardinals
  4. Choice principles
  5. Models and consistency themes
  6. Foundational independence overview

Assessable outcome

Work with formal set-theoretic arguments and distinguish relative-consistency claims.

Assessment design

  • deeper problem sets
  • reconstruction of an unfamiliar argument
  • advanced source reading
  • cumulative examination or substantial project

cumulative; uses spaced retrieval

Resources

Every title here is candidate, unverified unless marked verified. Titles were suggested while planning. Nobody has checked that they exist, what they cost or how they are licensed.

  • Jech or Kunen
  • carefully selected introductory material

Content record

Version
0.0.0
Review
no review of any kind
Provenance
catalogue imported from the owner brief of 29 Oct 2026; no teaching content authored
Known issues
none recorded
Type
course

Bridges and laboratories

No bridge or laboratory is attached to this course yet.

You and this course

Reading your plan on this device…