Zachiri McKenzie

Orcid: 0000-0003-0807-9561

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
The subset relation and 2-stratified sentences in set theory and class theory.
Math. Log. Q., February, 2023

2022
End extending models of set theory via power admissible covers.
Ann. Pure Appl. Log., 2022

2021
Initial Self-Embeddings of Models of Set Theory.
J. Symb. Log., 2021

2019
On the relative strengths of fragments of collection.
Math. Log. Q., 2019

2018
Iterated ultrapowers for the masses.
Arch. Math. Log., 2018

Largest initial segments pointwise fixed by automorphisms of models of set theory.
Arch. Math. Log., 2018

2017
Decidable Fragments of the Simple Theory of Types with Infinity and NF.
Notre Dame J. Formal Log., 2017

On the strength of a weak variant of the axiom of counting.
Math. Log. Q., 2017

2015
Automorphisms of models of set theory and extensions of NFU.
Ann. Pure Appl. Log., 2015


  Loading...