Oberwolfach Reports


Full-Text PDF (572 KB) | Introduction as PDF | Metadata | Table of Contents | OWR summary
Volume 14, Issue 4, 2017, pp. 3121–3183
DOI: 10.4171/OWR/2017/53

Published online: 2018-12-18

Mathematical Logic: Proof Theory, Constructive Mathematics

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

(1) University of California at 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” 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.

No keywords available for this article.

Buss Samuel, Iemhoff Rosalie, Kohlenbach Ulrich, Rathjen Michael: Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach Rep. 14 (2017), 3121-3183. doi: 10.4171/OWR/2017/53