Email: zachiri.mckenzie at cl.cam.ac.uk
I am currently a Research Associate in the Computer Laboratory at the University of Cambridge. I am working with Anuj Dawar on the EPSRC funded project "Descriptive Complexity and Algebraic Operators". I completed my Ph.D. in the Department of Pure Mathematics and Mathematical Statistics at the University of Cambridge. My thesis "Automorphisms of models of set theory and extensions of NFU" was submitted in September 2012. My Ph.D. supervisor was Thomas Forster.
"Automorphisms of models of set theory and extensions of NFU". Submitted. PDF
"A Permutation Method Yielding Models of the Stratified Axioms of Zermelo Fraenkel Set Theory" (with Vu Dang). This appears in Cahiers du Centre de logique. Volume 16. 2009. PDF