Set theory serves as a foundational pillar in mathematics, providing the language and tools necessary to discuss infinite collections. A central focus within this discipline is the study of cardinal ...

Zermelo-Fraenkel set theory is so widely accepted that modern mathematicians hardly think about it. But believing in its core ...

Reverse mathematics is a vibrant programme in mathematical logic that investigates the axioms necessary to establish fundamental theorems throughout mathematics. Central to this endeavour are ...

This course is available on the BSc in Philosophy and Economics, BSc in Philosophy, Logic and Scientific Method and BSc in Politics and Philosophy. This course is available with permission as an ...