Mathematical Logic: Proof Theory, Constructive Mathematics
Samuel Buss
University of California, San Diego, La Jolla, USARosalie Iemhoff
Utrecht University, NetherlandsUlrich Kohlenbach
Technische Universität Darmstadt, GermanyMichael Rathjen
University of Leeds, UK
![Mathematical Logic: Proof Theory, Constructive Mathematics cover](/_next/image?url=https%3A%2F%2Fcontent.ems.press%2Fassets%2Fpublic%2Fimages%2Fserial-issues%2Fcover-owr-volume-20-issue-4.png&w=3840&q=90)
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