Zachiri McKenzie

activity

20132026

most citedInitial self-embeddings of models of set theory

2 citations · 5 across the 11 of their papers we have counts for

collaborators

Showing 2016Show all

4 papers · 1 filter

math.GR2016★ 2 cited

$X$ -torsion and universal groups

Maurice Chiodo, Zachiri McKenzie

For a set $X \subseteq N$ , we define the $X$ -torsion of a group $G$ to be all elements $g \in G$ with $g^{n} = e$ for some $n \in X$ . With $X$ recursively enumerable, we give t…

math.LO2016

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

Ali Enayat, Matt Kaufmann, Zachiri McKenzie

Given a model $M$ of set theory, and a nontrivial automorphism $j$ of $M$ , let $I_{fix} (j)$ be the submodel of $M$ whose universe c…

math.LO2016

Feferman's Forays into the Foundations of Category Theory

Ali Enayat, Paul Gorbow, Zachiri McKenzie

This paper is primarily concerned with assessing a set-theoretical system, $S^{*}$ , for the foundations of category theory suggested by Solomon Feferman. $S^{*}$ is an extension of NFU…

math.LO2016

On the strength of a weak variant of the Axiom of Counting

Zachiri McKenzie

In this paper $NFU^{- AC}$ is used to denote Ronald Jensen's modification of Quine's `New Foundations' Set Theory ( $NF$ ) fortified with a type-level pairi…

X-torsion and universal groups

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

Feferman's Forays into the Foundations of Category Theory

On the strength of a weak variant of the Axiom of Counting

$X$ -torsion and universal groups