Home
Research
Teaching
Seminar aus Logik (SS 22)
Thema: J. Krajíček: Proof Complexity, Cambridge University Press, 2019
Fabian Achammer:
Untere Beweisschranken durch effiziente Interpolation
Fabian Regen:
Upper bounds on Frege proofs of the pigeonhole principle via the Paris-Wilkie translation