Zachiri McKenzie

According to our database, Zachiri McKenzie authored at least 9 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

The subset relation and 2-stratified sentences in set theory and class theory.

Zachiri McKenzie

Math. Log. Q., February, 2023

2022

End extending models of set theory via power admissible covers.

Zachiri McKenzie, Ali Enayat

Ann. Pure Appl. Log., 2022

2021

Initial Self-Embeddings of Models of Set Theory.

Ali Enayat, Zachiri McKenzie

J. Symb. Log., 2021

2019

On the relative strengths of fragments of collection.

Zachiri McKenzie

Math. Log. Q., 2019

2018

Iterated ultrapowers for the masses.

Ali Enayat, Matt Kaufmann, Zachiri McKenzie

Arch. Math. Log., 2018

Largest initial segments pointwise fixed by automorphisms of models of set theory.

Ali Enayat, Matt Kaufmann, Zachiri McKenzie

Arch. Math. Log., 2018

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

On the strength of a weak variant of the axiom of counting.

Zachiri McKenzie

Math. Log. Q., 2017

2015

Automorphisms of models of set theory and extensions of NFU.

Zachiri McKenzie

Ann. Pure Appl. Log., 2015