Current research

Elementary-algebraic interpretation of P vs NP
(L. Gordeev, A. Krebs, Tübingen University)



Proof-theoretic conservations of weak weak intuitionistic constructive set theories

(Oberwolfach, November 2011)

 



DAG Compressions

(Oberwolfach, November 2011)