2 papers
math.LO2018
Self-similarity in the Foundations
Paul K. Gorbow
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 i…
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, , for the foundations of category theory suggested by Solomon Feferman. is an extension of NFU…