Zur Kurzanzeige

dc.contributor.authorPinto, Pedro
dc.date.accessioned2024-07-15T12:50:15Z
dc.date.available2024-07-15T12:50:15Z
dc.date.issued2024-07-15
dc.identifier.urihttp://publications.mfo.de/handle/mfo/4156
dc.description.abstractIn a recent proof mining application, the proof-theoretical analysis of Dykstra's cyclic projections algorithm resulted in quantitative information expressed via primitive recursive functionals in the sense of Gödel. This was surprising as the proof relies on several compactness principles and its quantitative analysis would require the functional interpretation of arithmetical comprehension. Therefore, a priori one would expect the need of Spector’s bar-recursive functionals. In this paper, we explain how the use of bounded collection principles allows for a modified intermediate proof justifying the finitary results obtained, and discuss the approach in the context of previous eliminations of weak compactness arguments in proof mining.en_US
dc.language.isoenen_US
dc.publisherMathematisches Forschungsinstitut Oberwolfachen_US
dc.relation.ispartofseriesOberwolfach Preprints;2024-06
dc.subjectProof Miningen_US
dc.subjectFunctional Interpretationsen_US
dc.subjectBounded Collectionen_US
dc.subjectCompactnessen_US
dc.titleProof Mining and the Convex Feasibility Problem : the Curious Case of Dykstra's Algorithmen_US
dc.typePreprinten_US
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/OWP-2024-06
local.scientificprogramOWLF 2024en_US
local.series.idOWP-2024-06en_US
local.subject.msc03en_US
local.subject.msc47en_US
local.subject.msc41en_US
local.subject.msc90en_US
dc.identifier.urnurn:nbn:de:101:1-2407221239195.337298279475
dc.identifier.ppn1895995256


Dateien zu dieser Ressource

Thumbnail

Das Dokument erscheint in:

Zur Kurzanzeige