Zachiri McKenzie

activity

20162022

collaborators

3 papers

math.LO2022

Partially-elementary end extensions of countable admissible sets

Zachiri McKenzie

A result of Kaufmann shows that if $L_{α}$ is countable, admissible and satisfies $Π_{n} -Collection$ , then $⟨ L_{α}, \in ⟩$ has a proper $Σ_{n + 1}$ -elementary end ext…

math.LO2018

On the relative strengths of fragments of collection

Zachiri McKenzie

Let $M$ be the basic set theory that consists of the axioms of extensionality, emptyset, pair, union, powerset, infinity, transitive containment, $Δ_{0}$ -separation and set…

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…