Mathematical Logic: Proof Theory, Constructive Mathematics

  • Samuel R. Buss

    University of California at San Diego, La Jolla, USA
  • Rosalie Iemhoff

    Utrecht University, Netherlands
  • Ulrich Kohlenbach

    Technische Hochschule Darmstadt, Germany
  • Michael Rathjen

    University of Leeds, UK

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