Zachiri McKenzie

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The subset relation and 2‐stratified sentences in set theory and class theory Mathematical Logic Quarterly	2023-09-15	Paper
End extending models of set theory via power admissible covers Annals of Pure and Applied Logic	2022-06-08	Paper
INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY Journal of Symbolic Logic	2022-01-17	Paper
Partially-elementary end extensions of countable admissible sets	2022-01-13	Paper
End extending models of set theory via power admissible covers (available as arXiv preprint)	2021-08-05	Paper
On the relative strengths of fragments of collection Mathematical Logic Quarterly	2020-05-06	Paper
On the relative strengths of fragments of collection Mathematical Logic Quarterly	2020-05-06	Paper
On the strength of a weak variant of the axiom of counting Mathematical Logic Quarterly	2020-04-29	Paper
Feferman's forays into the foundations of category theory Outstanding Contributions to Logic	2020-02-05	Paper
Initial self-embeddings of models of set theory (available as arXiv preprint)	2019-06-06	Paper
Iterated ultrapowers for the masses Archive for Mathematical Logic	2018-08-16	Paper
Largest initial segments pointwise fixed by automorphisms of models of set theory Archive for Mathematical Logic	2018-02-09	Paper
Decidable fragments of the simple theory of types with infinity and NF Notre Dame Journal of Formal Logic	2017-08-17	Paper
Decidable fragments of the simple theory of types with infinity and NF Notre Dame Journal of Formal Logic	2017-08-17	Paper
$X$-torsion and universal groups	2016-10-02	Paper
Automorphisms of models of set theory and extensions of NFU Annals of Pure and Applied Logic	2015-02-18	Paper

Research outcomes over time

This page was built for person: Zachiri McKenzie