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 2016 · math.LOShow all

3 papers · 2 filters

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…