Mathematical Logic: Proof Theory, Constructive Mathematics

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

doi:10.4171/owr/2017/53

JournalsowrVol. 14, No. 4pp. 3121–3183

Mathematical Logic: Proof Theory, Constructive Mathematics

Samuel R. Buss
University of California at 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: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of core mathematics and theoretical computer science as well as homotopy type theory and logical aspects of computational complexity.

Cite this article

Samuel R. Buss, Rosalie Iemhoff, Ulrich Kohlenbach, Michael Rathjen, Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach Rep. 14 (2017), no. 4, pp. 3121–3183

DOI 10.4171/OWR/2017/53