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

Paul Gorbow

Doctoral student

Paul Gorbow
Doctoral student
Logic
pgorbow@gmail.com
+46 727-294728
0727-294728

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
www.flov.gu.se
flov@flov.gu.se

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
Share:

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?