Dr Zachiri Mckenzie
Senior Lecturer
Biography
Zach is a pure mathematician working in the fields of mathematical logic and set theory.
Teaching and Supervision
Zach teaches a variety of mathematics courses in both the undergraduate and taught postgraduate mathematics programmes.
Research and Knowledge Exchange
Zach's research investigates the structure of models of set theory, and compares the strength and scope of foundational theories using model-theoretic techniques. In addition to extensions and sub-systems of Zermelo-Fraenkel Set Theory, he is also interested in first and second order arithmetic and their subsystems, the Simple Theory of Types and variants of Quine’s New Foundations Set Theory.