| dc.date.accessioned | 2023-12-18T11:50:56Z | |
| dc.date.available | 2023-12-18T11:50:56Z | |
| dc.date.issued | 2023 | |
| dc.identifier.uri | http://publications.mfo.de/handle/mfo/4093 | |
| dc.description.abstract | 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:
interactions between foundations and applications,
proof mining,
constructive and semi-constructive reasoning,
proof theory and theoretical computer science,
structural proof theory. | |
| dc.title | Mathematical Logic: Proof Theory, Constructive Mathematics | |
| 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-2023-53 | |
| local.series.id | OWR-2023-53 | |
| local.subject.msc | 03 | |
| local.date-range | 12 Nov - 17 Nov 2023 | |
| local.workshopcode | 2346 | |
| local.workshoptitle | Mathematical Logic: Proof Theory, Constructive Mathematics | |
| local.organizers | Samuel R. Buss, La Jolla; Rosalie Iemhoff, Utrecht; Ulrich Kohlenbach, Darmstadt; Michael Rathjen, Leeds | |
| local.report-name | Workshop Report 2023,53 | |
| local.opc-photo-id | 2346 | |
| local.publishers-doi | 10.4171/OWR/2023/53 | |
