| dc.date.accessioned | 2020-12-16T09:41:05Z | |
| dc.date.available | 2020-12-16T09:41:05Z | |
| dc.date.issued | 2020 | |
| dc.identifier.uri | http://publications.mfo.de/handle/mfo/3821 | |
| dc.description.abstract | 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: 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. | |
| dc.title | Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting) | |
| dc.rights.license | Dieses Dokument darf im Rahmen von § 53 UrhG zum eigenen Gebrauch kostenfrei heruntergeladen, gelesen, gespeichert und ausgedruckt, aber nicht im Internet bereitgestellt oder an Außenstehende weitergegeben werden. | de |
| dc.rights.license | This document may be downloaded, read, stored and printed for your own use within the limits of § 53 UrhG but it may not be distributed via the internet or passed on to external parties. | en |
| dc.identifier.doi | 10.14760/OWR-2020-34 | |
| local.series.id | OWR-2020-34 | |
| local.subject.msc | 03 | |
| local.date-range | 08 Nov - 14 Nov 2020 | |
| local.workshopcode | 2046 | |
| local.workshoptitle | Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting) | |
| local.organizers | Samuel R. Buss, La Jolla; Rosalie Iemhoff, Utrecht; Ulrich Kohlenbach, Darmstadt; Michael Rathjen, Leeds | |
| local.report-name | Workshop Report 2020,34 | |
| local.opc-photo-id | 2046 | |
| local.publishers-doi | 10.4171/OWR/2020/34 | |
| local.ems-reference | 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 | |
