Zachiri McKenzie

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 9

Top Topics

Mammogram Images

Boolean Algebra

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

Zachiri McKenzie
The subset relation and 2-stratified sentences in set theory and class theory. Math. Log. Q. 69 (1) (2023)
Zachiri McKenzie, Ali Enayat
End extending models of set theory via power admissible covers. Ann. Pure Appl. Log. 173 (8) (2022)
Ali Enayat, Zachiri McKenzie
Initial Self-Embeddings of Models of Set Theory. J. Symb. Log. 86 (4) (2021)
Zachiri McKenzie
On the relative strengths of fragments of collection. Math. Log. Q. 65 (1) (2019)
Ali Enayat, Matt Kaufmann, Zachiri McKenzie
Largest initial segments pointwise fixed by automorphisms of models of set theory. Arch. Math. Log. 57 (1-2) (2018)
Ali Enayat, Matt Kaufmann, Zachiri McKenzie
Iterated ultrapowers for the masses. Arch. Math. Log. 57 (5-6) (2018)
Zachiri McKenzie
On the strength of a weak variant of the axiom of counting. Math. Log. Q. 63 (1-2) (2017)
Anuj Dawar, Thomas Forster, Zachiri McKenzie
Decidable Fragments of the Simple Theory of Types with Infinity and NF. Notre Dame J. Formal Log. 58 (3) (2017)
Zachiri McKenzie
Automorphisms of models of set theory and extensions of NFU. Ann. Pure Appl. Log. 166 (5) (2015)