The EMS Publishing House is now EMS Press and has its new home at

Please find all EMS Press journals and articles on the new platform.

Oberwolfach Reports

Full-Text PDF (629 KB) | Metadata | Table of Contents | OWR summary
Volume 17, Issue 4, 2020, pp. 1693–1757
DOI: 10.4171/OWR/2020/34

Published online: 2021-09-13

Mathematical Logic: Proof Theory, Constructive Mathematics

Samuel R. Buss[1], Rosalie Iemhoff[2], Ulrich Kohlenbach[3] and Michael Rathjen[4]

(1) University of California, San Diego, La Jolla, USA
(2) Utrecht University, Netherlands
(3) Technische Hochschule Darmstadt, Germany
(4) University of Leeds, UK

The Workshop ‘Mathematical Logic:Proof Theory, Constructive Mathematics’ focused on proofs both as formal derivations in deductive systems as well as on the extraction of explicit computational content from given proofs in core areas of ordinary mathematics using proof-theoretic methods. The workshop contributed to the following research strands:

  • Interactions between foundations and applications.
  • Proof mining.
  • Constructivity in classical logic.
  • Modal logic and provability logic.
  • Proof theory and theoretical computer science.
  • Structural proof theory.

No keywords available for this article.

Buss Samuel, Iemhoff Rosalie, Kohlenbach Ulrich, Rathjen Michael: Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach Rep. 17 (2020), 1693-1757. doi: 10.4171/OWR/2020/34