Dejean, Anton Fernández

Dejean, Anton Fernández

Anton Fernández Dejean

TU Wien

Advisor:
Juan Pablo Aguilera

Research Topic:
Proof theory and ordinal analysis. Classification of total functions of set theories.