BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Zachiri McKenzie

Zachiri McKenzie appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.LOmath.GR

Catalog footprint

What is connected

8works
2topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2022arXiv

End extending models of set theory via power admissible covers

Motivated by problems involving end extensions of models of set theory, we develop the rudiments of the power admissible cover construction (over ill-founded models of set theory), an extension of the machinery of admissible covers invented by Barwise as a versatile tool for generalizing model-theoretic results about countable well-founded models of set theory to countable ill-founded ones. Our development of the power admissible machinery allows us to obtain new results concerning powerset-preserving end extensions and rank extensions of countable models of subsystems of $\mathsf{ZFC}$. The canonical extension $\mathsf{KP}^\mathcal{P}$ of Kripke-Platek set theory $\mathsf{KP}$ plays a key role in our work; one of our results refines a theorem of Rathjen by showing that $Σ_1^\mathcal{P}\text{-}\mathsf{Foundation}$ is provable in $\mathsf{KP}^\mathcal{P}$ (without invoking the axiom of choice).

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Partially-elementary end extensions of countable admissible sets

A result of Kaufmann shows that if $L_α$ is countable, admissible and satisfies $Π_n\textsf{-Collection}$, then $\langle L_α, \in \rangle$ has a proper $Σ_{n+1}$-elementary end extension. This paper investigates to what extent the theory that holds in $\langle L_α, \in \rangle$ can be transferred to the partially-elementary end extensions guaranteed by Kaufmann's result. We show that there are $L_α$ satisfying full separation, powerset and $Π_n\textsf{-Collection}$ that have no proper $Σ_{n+1}$-elementary end extension satisfying either $Π_{n}\textsf{-Collection}$ or $Π_{n+3}\textsf{-Foundation}$. In contrast, we show that if $A$ is a countable admissible set that satisfies $Π_n\textsf{-Collection}$ and $T$ is a recursively enumerable theory that holds in $\langle A, \in \rangle$, then $\langle A, \in \rangle$ has a proper $Σ_n$-elementary end extension that satisfies $T$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

The subset relation and $2$-stratified sentences in set theory and class theory

Hamkins and Kikuchi (2016 and 2017) show that in both set theory and class theory the definable subset ordering of the universe interprets a complete and decidable theory. If $\mathcal{M}$ is a model of set theory, then $\langle M, \subseteq^\mathcal{M} \rangle$ is an atomic unbounded relatively complemented distributive lattice. If $\mathcal{M}$ is model of class theory, then $\langle M, \subseteq^\mathcal{M} \rangle$ is an infinite atomic boolean algebra. We identify the minimal subsystem of $\mathrm{ZF}$, $\mathrm{BAS}$, that ensures that the definable subset relation is an atomic unbounded relatively complemented distributive lattice and classify the atomic unbounded relatively complemented distributive lattices that can be realised as a subset relations of this theory. The fact that the theory of atomic unbounded relatively complemented distributive lattices is complete is used to show that $\mathrm{BAS}$ decides every $2$-stratified sentence of set theory. We also identify the minimal subsystem of $\mathrm{NBG}$, $\mathrm{BAC}$, that ensures that the definable subset relation is an infinite atomic Boolean algebra. We show that there is a complete extension, $\mathrm{IABA}_\mathrm{Ideal}$, of the theory of infinite atomic boolean algebras and an extension $\mathrm{BAC}^+$ of $\mathrm{BAC}$ corresponding to the minimal theory such that if $\mathcal{M}$ is a model of $\mathrm{BAC}^+$, then $\langle M, \mathcal{S}^\mathcal{M}, \subseteq^\mathcal{M} \rangle$ is a model of $\mathrm{IABA}_{\mathrm{Ideal}}$, where $\mathcal{S}^\mathcal{M}$ is a unary predicate that distinguishes sets from classes. This is used to show that $\mathrm{BAC}^+$, a subsystem of $\mathrm{NBG}$, decides every $2$-sentence in the language of class theory that includes a unary predicate distinguishing sets from classes.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

$X$-torsion and universal groups

For a set $X\subseteq \mathbb{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 two independent proofs (group-theoretic, and model-theoretic) that there exists a universal finitely presented $X$-torsion-free group; one which contains all finitely presented $X$-torsion-free groups. We also show that, if $X$ is recursively enumerable, then the set of finite presentations of $X$-torsion-free groups is $Π_{2}^{0}$-complete in Kleene's arithmetic hierarchy.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Feferman's Forays into the Foundations of Category Theory

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, and may be seen as an attempt to accommodate unrestricted categories such as the category of all groups (without any small/large restrictions), while still obtaining the benefits of ZFC on part of the domain. A substantial part of the paper is devoted to establishing an improved upper bound on the consistency strength of $S^*$. The assessment of $S^*$ as a foundation of category theory is framed by the following general desiderata (R) and (S). (R) asks for the unrestricted existence of the category of all groups, the category of all categories, the category of all functors between two categories, etc., along with natural implementability of ordinary mathematics and category theory. (S) asks for a certain relative distinction between large and small sets, and the requirement that they both enjoy the full benefits of the $\mathrm{ZFC}$ axioms. $S^*$ satisfies (R) simply because it is an extension of NFU. By means of a recursive construction utilizing the notion of strongly cantorian sets, we argue that it also satisfies (S). Moreover, this construction yields a lower bound on the consistency strength of $S^*$. We also exhibit a basic positive result for category theory internal to NFU that provides motivation for studying NFU-based foundations of category theory.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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

Given a model $\mathcal{M}$ of set theory, and a nontrivial automorphism $j$ of $\mathcal{M}$, let $\mathcal{I}_{\mathrm{fix}}(j)$ be the submodel of $\mathcal{M}$ whose universe consists of elements $m$ of $\mathcal{M}$ such that $j(x)=x$ for every $x$ in the transitive closure of $m$ (where the transitive closure of $m$ is computed within $\mathcal{M}$). Here we study the class $\mathcal{C}$ of structures of the form $\mathcal{I}_{\mathrm{fix}}(j)$, where the ambient model $\mathcal{M}$ satisfies a frugal yet robust fragment of $\mathrm{ZFC}$ known as $\mathrm{MOST}$, and $j(m)=m$ whenever $m$ is a finite ordinal in the sense of $\mathcal{M}$. We show that every structure in $\mathcal{C}$ satisfies $\mathrm{MOST}+Δ_0^\mathcal{P}\textrm{-Collection}$. We also show that the following countable structures are in $\mathcal{C}$: (a) transitive models of $\mathrm{MOST}+Δ_0^\mathcal{P}\textrm{-Collection}$, (b) recursively saturated models of $\mathrm{MOST}+Δ_0^\mathcal{P}\textrm{-Collection}$, (c) models of $\mathrm{ZFC}$. It follows from (b) that the theory of $\mathcal{C}$ is precisely $\mathrm{MOST+Δ}_{0}^{\mathcal{P}}$-Collection. We conclude by proving a refinement of a result due to Amir Togha.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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

In this paper $\mathrm{NFU}^{-\mathrm{AC}}$ is used to denote Ronald Jensen's modification of Quine's `New Foundations' Set Theory ($\mathrm{NF}$) fortified with a type-level pairing function but without the Axiom of Choice. The axiom $\mathrm{AxCount}_\geq$ is the variant of the Axiom of Counting which asserts that no finite set is smaller than its own set of singletons. This paper shows that $\mathrm{NFU}^{-\mathrm{AC}}+\mathrm{AxCount}_\geq$ proves the consistency of the Simple Theory of Types with Infinity ($\mathrm{TSTI}$). This result implies that $\mathrm{NF}+\mathrm{AxCount}_\geq$ proves that consistency of $\mathrm{TSTI}$, and that $\mathrm{NFU}^{-\mathrm{AC}}+\mathrm{AxCount}_\geq$ proves the consistency of $\mathrm{NFU}^{-\mathrm{AC}}$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Automorphisms of models of set theory and extensions of NFU

In this paper we exploit the structural properties of standard and non-standard models of set theory to produce models of set theory admitting automorphisms that are well-behaved along an initial segment of their ordinals. $\mathrm{NFU}$ is Ronald Jensen's modifcation of Quine's `New Foundations' set theory that allows non-sets into the domain of discourse. The axioms $\mathrm{AxCount}$, $\mathrm{AxCount}_\leq$ and $\mathrm{AxCount}_\geq$ each extend $\mathrm{NFU}$ by placing restrictions on the cardinality of a finite set of singletons relative to the cardinality of its union. Using the results about automorphisms of models of set theory we separate the consistency strengths of these three extensions of $\mathrm{NFU}$. We show that $\mathrm{NFU} + \mathrm{AxCount}$ proves the consistency of $\mathrm{NFU} + \mathrm{AxCount}_\leq$, and $\mathrm{NFU} + \mathrm{AxCount}_\leq$ proves the consistency of $\mathrm{NFU} + \mathrm{AxCount}_\geq$.

0 citations0 reviewsNo code linkedOpen access