Till startsida
To content Read more about how we use cookies on gu.se

Paul Gorbow

Doctoral student

Paul Gorbow
Doctoral student
+46 31 786 4392

Room number: T 243
Postal Address: Box 200, 40530 Göteborg
Visiting Address: Olof Wijksgatan 5 , 41255 Göteborg

Department of Philosophy, Linguistics, Theory of Science (More Information)
Box 200
405 30 Göteborg

Visiting Address: Olof Wijksgatan 6 , 412 55 Göteborg

About Paul Gorbow

I am a PhD student in Logic, with particular interests in Set theory, Model theory, Category theory, Theories of truth, in particular in connection with Stratified Set Theory.

Stratified set theory is based on the insight that the axiom schema stratified comprehension, {for all p, there is an x, such that for all u, (u in x iff A(u, p)) | A is a stratified formula}, is consistent. If an axiom of extensionality is added that allows for atoms, the system NFU is obtained (also known to be consistent). If full extensionality is added, we get NF (recently claimed to be consistent).

I have written on a set theoretic foundational system for category theory suggested by Solomon Feferman, that is based on NFU. Moreover, I have provided catagory theoretic axiomatizations equiconsistent with intuitionistic and classical NF and NFU.

Page Manager: Webmaster|Last update: 4/19/2017

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?