1145

Mathematical Logic: Proof Theory, Constructive Mathematics

Thumbnail
View/Open
DOI
10.14760/OWR-2011-52
Publisher's DOI
10.4171/OWR/2011/52
Collections
Metadata
Show full item record
Workshop
1145
Period
06 Nov - 12 Nov 2011
Abstract
The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexity.
Mathematics Subject Classification (MSC)
03
Report
Workshop Report 2011,52
Organizers
Samuel R. Buss, La Jolla; Ulrich Kohlenbach, Darmstadt; Michael Rathjen, Leeds
EMS Reference
Buss Samuel, Kohlenbach Ulrich, Rathjen Michael: Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach Rep. 8 (2011), 2963-3002. doi: 10.4171/OWR/2011/52
Oberwolfach Photo Collection
Open Workshop Photos

Preview
Report