JournalsowrVol. 20, No. 4pp. 3013–3061

Mathematical Logic: Proof Theory, Constructive Mathematics

  • Samuel Buss

    University of California, San Diego, La Jolla, USA

  • Rosalie Iemhoff

    Utrecht University, Netherlands

  • Ulrich Kohlenbach

    Technische Universität Darmstadt, Germany

  • Michael Rathjen

    University of Leeds, UK
Mathematical Logic: Proof Theory, Constructive Mathematics cover
Download PDF

Abstract

The Workshop ‘Mathematical Logic: Proof Theory, Constructive Mathematics’ focused on proof-theoretic research on the foundations of mathematics, on the extraction of explicit computational content from given proofs in core areas of ordinary mathematics using proof-theoretic methods as well as on topics in proof complexity. The workshop contributed to the following research strands:

  • Interactions between foundations and applications.
  • Proof mining.
  • Constructive and semi-constructive reasoning.
  • Proof theory and theoretical computer science.
  • Structural proof theory.

Cite this article

Samuel Buss, Rosalie Iemhoff, Ulrich Kohlenbach, Michael Rathjen, Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach Rep. 20 (2023), no. 4, pp. 3013–3061

DOI 10.4171/OWR/2023/53