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

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
Online access to the full text of Oberwolfach Reports is restricted to the subscribers of the journal, who are encouraged to communicate their IP-address(es) to their agent or directly to the publisher at
subscriptions@ems-ph.org
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