Showing math.LOShow all
3 papers · 1 filter
math.LO2026
Feasible constructivism
Paul Gorbow, Øystein Linnebo
Dummett's argument for intuitionism is well known. There is a concern that the argument proves too much, specifically, that it supports the extreme and apparently incoherent positi…
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…