Full-Text PDF (629 KB) | Metadata | Table of Contents | OWR summary
Published online: 2021-09-13
Mathematical Logic: Proof Theory, Constructive MathematicsSamuel R. Buss, Rosalie Iemhoff, Ulrich Kohlenbach and Michael Rathjen (1) University of California, San Diego, La Jolla, USA
(2) Utrecht University, Netherlands
(3) Technische Hochschule Darmstadt, Germany
(4) University of Leeds, UK
The Workshop ‘Mathematical Logic:Proof 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:
No keywords available for this article.
Buss Samuel, Iemhoff Rosalie, Kohlenbach Ulrich, Rathjen Michael: Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach Rep. 17 (2020), 1693-1757. doi: 10.4171/OWR/2020/34