Mathematical Logic: Proof Theory, Constructive Mathematics

  • Samuel R. Buss

    University of California, 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

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