Structural Proof Theory

Provability Logic and Logics of Proofs

Generalized Recursion

Theses

  • Between the Finite and the Infinite (2019). Ph.D. Thesis. 444 pp.
    Advisor: Matthias Baaz.
    Second (external) advisor: W. Hugh Woodin. 
  • Uncountable Topological Interpretations of Provability Logic (2015). B.Sc. Thesis. 44 pp. Advisor: David Fernández-Duque.