1745

Mathematical Logic: Proof Theory, Constructive Mathematics

Thumbnail
View/Open
DOI
10.14760/OWR-2017-53
Publisher's DOI
10.4171/OWR/2017/53
Collections
Metadata
Show full item record
Workshop
1745
Period
05 Nov - 11 Nov 2017
Abstract
The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of core mathematics and theoretical computer science as well as homotopy type theory and logical aspects of computational complexity.
Mathematics Subject Classification (MSC)
03
Report
Workshop Report 2017,53
Organizers
Samuel R. Buss, La Jolla; Rosalie Iemhoff, Utrecht; Ulrich Kohlenbach, Darmstadt; Michael Rathjen, Leeds
EMS Reference
Buss Samuel, Iemhoff Rosalie, Kohlenbach Ulrich, Rathjen Michael: Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach Rep. 14 (2017), 3121-3183. doi: 10.4171/OWR/2017/53
Oberwolfach Photo Collection
Open Workshop Photos

Preview
Report
Preview IconOpen Preview