Mathematical logic and set theory provide the foundational language for modern mathematics, articulating precise notions of proof, computability and the hierarchy of infinities. Central themes include ...

Mathematical logic provides a rigorous framework for analysing the structure of mathematical reasoning, enabling a deep understanding of both formal systems and the nature of proofs. Central to this ...

My present research interests are the theory of infinite Boolean algebras and related set-theoretic topics, such as continuum cardinals and pcf theory. My previous research was in algebraic logic ...

Zermelo-Fraenkel set theory is so widely accepted that modern mathematicians hardly think about it. But believing in its core principles didn’t come easily. How do mathematicians decide that something ...