Show simple item record

Mathematical Logic: Proof Theory, Constructive Mathematics

dc.date.accessioned2023-12-18T11:50:56Z
dc.date.available2023-12-18T11:50:56Z
dc.date.issued2023
dc.identifier.urihttp://publications.mfo.de/handle/mfo/4093
dc.description.abstractThe 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.titleMathematical Logic: Proof Theory, Constructive Mathematics
dc.rights.licenseDieses 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.licenseThis 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.doi10.14760/OWR-2023-53
local.series.idOWR-2023-53
local.subject.msc03
local.date-range12 Nov - 17 Nov 2023
local.workshopcode2346
local.workshoptitleMathematical Logic: Proof Theory, Constructive Mathematics
local.organizersSamuel R. Buss, La Jolla; Rosalie Iemhoff, Utrecht; Ulrich Kohlenbach, Darmstadt; Michael Rathjen, Leeds
local.report-nameWorkshop Report 2023,53
local.opc-photo-id2346
local.publishers-doi10.4171/OWR/2023/53


Files in this item

Thumbnail
Report

This item appears in the following Collection(s)

Show simple item record