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 ...