1 citations · 1 across the 7 of their papers we have counts for
7 papers
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…
Intentic Semantics for Potentialist Truthmaking
Paul Gorbow
This draft introduces the technical machinery of a semantic framework for potentialist truthmaking based on our innovation of intentic states, which are structured partial models a…
A genuinely untyped solution to the knower paradoxes
Paul Gorbow
Kaplan and Montague have showed that certain intuitive axioms for a first-order theory of knowledge, formalized as a predicate, are jointly inconsistent. Their arguments rely on se…
The Copernican Multiverse of Sets
Paul K. Gorbow, Graham E. Leigh
We develop an untyped framework for the multiverse of set theory. is extended with semantically motivated axioms utilizing the new symbols …
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…
Categorical New Foundations
Paul K. Gorbow
New Foundations () is a set theory obtained from naive set theory by putting a stratification constraint on the comprehension schema; for example, it proves that there…
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…