# 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