Proof Theory

• part1 , part2 , part3 , part4

  A sequence of lecture about proof theory and Buchholz' Omega rule (Braga, 2004)

• Novikov cut-elimination

  A presentation of Novikov's cut-elimination. The interest is that it applies also to non well-founded formulae

• Applications of a representation theorem to subsystems of arithmetic (with Martin Hofmann)

• Intuitionistic choice and classical logic (with Erik Palmgren)

• An application of boolean models

• Proof Theory in Type Theory

• A topos theoretic fixpoint theorem