arXiv subjects

Paul K. Gorbow

Publications and source records attributed to Paul K. Gorbow.

4 recordsLinked to original sources

arXiv2021

Rank-initial embeddings of non-standard models of set theory

A theoretical development is carried to establish fundamental results about rank-initial embeddings and automorphisms of countable non-standard models of set theory, with a keen eye for their sets of fixed points. These results are then combined into a "geometric technique" used to prove several results about countable non-standard models of set theory. In particular, back-and-forth constructions are carried out to establish various generalizations and refinements of Friedman's theorem on the existence of rank-initial embeddings between countable non-standard models of the fragment $\mathrm{KP}^\mathcal{P}$ + $Σ_1^\mathcal{P}$-Separation of $\mathrm{ZF}$; and Gaifman's technique of iterated ultrapowers is employed to show that any countable model of $\mathrm{GBC}$ + "$\mathrm{Ord}$ is weakly compact" can be elementarily rank-end-extended to models with well-behaved automorphisms whose sets of fixed points equal the original model. These theoretical developments are then utilized to prove various results relating self-embeddings, automorphisms, their sets of fixed points, strong rank-cuts, and set theories of different strengths. Two examples: The notion of "strong rank-cut" is characterized (i) in terms of the theory $\mathrm{GBC}$ + "$\mathrm{Ord}$ is weakly compact", and (ii) in terms of fixed-point sets of self-embeddings.

math.LO↗

arXiv2021

The Copernican Multiverse of Sets

We develop an untyped framework for the multiverse of set theory. $\mathsf{ZF}$ is extended with semantically motivated axioms utilizing the new symbols $\mathsf{Uni}(\mathcal{U})$ and $\mathsf{Mod}(\mathcal{U, σ})$, expressing that $\mathcal{U}$ is a universe and that $σ$ is true in the universe $\mathcal{U}$, respectively. Here $σ$ ranges over the augmented language, leading to liar-style phenomena that are analysed. The framework is both compatible with a broad range of multiverse conceptions and suggests its own philosophically and semantically motivated multiverse principles. In particular, the framework is closely linked with a deductive rule of Necessitation expressing that the multiverse theory can only prove statements that it also proves to hold in all universes. We argue that this may be philosophically thought of as a Copernican principle that the background theory does not hold a privileged position over the theories of its internal universes. Our main mathematical result is a lemma encapsulating a technique for locally interpreting a wide variety of extensions of our basic framework in more familiar theories. We apply this to show, for a range of such semantically motivated extensions, that their consistency strength is at most slightly above that of the base theory $\mathsf{ZF}$, and thus not seriously limiting to the diversity of the set-theoretic multiverse. We end with case studies applying the framework to two multiverse conceptions of set theory: arithmetic absoluteness and Joel D. Hamkins' multiverse theory.

math.LO↗

arXiv2018

Categorical New Foundations

New Foundations ($\mathrm{NF}$) is a set theory obtained from naive set theory by putting a stratification constraint on the comprehension schema; for example, it proves that there is a universal set $V$. $\mathrm{NFU}$ ($\mathrm{NF}$ with atoms) is known to be consistent through its close connection with models of conventional set theory that admit automorphisms. A first-order theory, $\mathrm{ML}_\mathrm{CAT}$, in the language of categories is introduced and proved to be equiconsistent to $\mathrm{NF}$ (analogous results are obtained for intuitionistic and classical $\mathrm{NF}$ with and without atoms). $\mathrm{ML}_\mathrm{CAT}$ is intended to capture the categorical content of the predicative class theory of $\mathrm{NF}$. $\mathrm{NF}$ is interpreted in $\mathrm{ML}_\mathrm{CAT}$ through the categorical semantics. Thus, the result enables application of category theoretic techniques to meta-mathematical problems about $\mathrm{NF}$ -style set theory. For example, an immediate corollary is that $\mathrm{NF}$ is equiconsistent to $\mathrm{NFU} + |V| = |\mathcal{P}(V)|$. This is already proved by Crabbé, but becomes more transparent in light of the results of this paper. Just like a category of classes has a distinguished subcategory of small morphisms, a category modelling $\mathrm{ML}_\mathrm{CAT}$ has a distinguished subcategory of type-level morphisms. This corresponds to the distinction between sets and proper classes in $\mathrm{NF}$. With this in place, the axiom of power objects familiar from topos theory can be appropriately formulated for $\mathrm{NF}$. It turns out that the subcategory of type-level morphisms contains a topos as a natural subcategory.

math.LO↗

arXiv2018

Self-similarity in the Foundations

This thesis concerns embeddings and self-embeddings of foundational structures in both set theory and category theory. The first part of the work on models of set theory consists in establishing a refined version of Friedman's theorem on the existence of embeddings between countable non-standard models of a fragment of ZF, and an analogue of a theorem of Gaifman to the effect that certain countable models of set theory can be elementarily end-extended to a model with many automorphisms whose sets of fixed points equal the original model. The second part of the work on set theory consists in combining these two results into a technical machinery, yielding several results about non-standard models of set theory relating such notions as self-embeddings, their sets of fixed points, strong rank-cuts, and set theories of different strengths. The work in foundational category theory consists in the formulation of a novel algebraic set theory which is proved to be equiconsistent to New Foundations (NF), and which can be modulated to correspond to intuitionistic or classical NF, with or without atoms. A key axiom of this theory expresses that its structures have an endofunctor with natural properties.

math.LO↗