Mathematical Logic: Proof Theory, Constructive Mathematics

Samuel R. Buss; Rosalie Iemhoff; Ulrich Kohlenbach; Michael Rathjen

doi:10.4171/owr/2020/34

JournalsowrVol. 17, No. 4pp. 1693–1757

Mathematical Logic: Proof Theory, Constructive Mathematics

Samuel R. Buss
University of California, San Diego, La Jolla, USA
- MathSciNet
- zbMATH Open
Rosalie Iemhoff
Utrecht University, Netherlands
- MathSciNet
- zbMATH Open
Ulrich Kohlenbach
Technische Hochschule Darmstadt, Germany
- MathSciNet
- zbMATH Open
Michael Rathjen
University of Leeds, UK
- MathSciNet
- zbMATH Open

Download PDF

Abstract

The Workshop ‘Mathematical Logic

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.

Cite this article

Samuel R. Buss, Rosalie Iemhoff, Ulrich Kohlenbach, Michael Rathjen, Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach Rep. 17 (2020), no. 4, pp. 1693–1757

DOI 10.4171/OWR/2020/34