Automorphisms of models of set theory and extensions of NFU. - Zachiri McKenzie (Ann. Pure Appl. Log., 2015)

On the strength of a weak variant of the axiom of counting. - Zachiri McKenzie (Math. Log. Q., 2017)

Decidable Fragments of the Simple Theory of Types with Infinity and NF. - Anuj Dawar; Thomas Forster; Zachiri McKenzie (Notre Dame J. Formal Log., 2017)

Largest initial segments pointwise fixed by automorphisms of models of set theory. - Ali Enayat; Matt Kaufmann; Zachiri McKenzie (Arch. Math. Log., 2018)

Iterated ultrapowers for the masses. - Ali Enayat; Matt Kaufmann; Zachiri McKenzie (Arch. Math. Log., 2018)

On the relative strengths of fragments of collection. - Zachiri McKenzie (Math. Log. Q., 2019)

Initial Self-Embeddings of Models of Set Theory. - Ali Enayat; Zachiri McKenzie (J. Symb. Log., 2021)

End extending models of set theory via power admissible covers. - Zachiri McKenzie; Ali Enayat (Ann. Pure Appl. Log., 2022)

The subset relation and 2-stratified sentences in set theory and class theory. - Zachiri McKenzie (Math. Log. Q., 2023)