Key points are not available for this paper at this time.
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:
Buss et al. (Tue,) studied this question.