Paul Gorbow

Academic interests

Philosophical and mathematical logic, set theory, axiomatic theories of truth, axiomatic theories of consciousness, potential infinity, non-standardness phenomena in the foundations of mathematics.

Current research

My research project "Potential infinity in the foundations of mathematics" aims to provide a positive philosophical explanation for non-standardness phenomena in the foundations of mathematics, by applying ideas from potential infinity and indexicalism.

Background

My doctoral dissertation at the University of Gothenburg provides a category theoretical theory for the set theory NF and results on embeddings and automorphisms of non-standard models of ZF. As a postdoc at the University of Gothenburg, I developed (with Graham Leigh) an untyped theory of truth in set theory that extends ZF, as well as untyped theories of belief and knowledge that extend PA.