Metric fixed point theory and partial impredicativity

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F23%3A00572031" target="_blank" >RIV/67985807:_____/23:00572031 - isvavai.cz</a>
Result on the web
<a href="https://dx.doi.org/10.1098/rsta.2022.0012" target="_blank" >https://dx.doi.org/10.1098/rsta.2022.0012</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1098/rsta.2022.0012" target="_blank" >10.1098/rsta.2022.0012</a>

Result language
angličtina
Original language name
Metric fixed point theory and partial impredicativity
Original language description
We show that the Priess-Crampe & Ribenboim fixed point theorem is provable in RCA0. Furthermore, we show that Caristi's fixed point theorem for both Baire and Borel functions is equivalent to the transfinite leftmost path principle, which falls strictly between ATR0 and p11-CA0. We also exhibit several weakenings of Caristi's theorem that are equivalent to WKL0 and to ACA0.This article is part of the theme issue 'Modern perspectives in Proof Theory'.
Czech name
—
Czech description
—

Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10101 - Pure mathematics

Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2023
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical
Philosophical Transactions of the Royal Society A-Mathematical Physical and Engineering Sciences
ISSN
1364-503X
e-ISSN
1471-2962
Volume of the periodical
381
Issue of the periodical within the volume
2248
Country of publishing house
GB - UNITED KINGDOM
Number of pages
20
Pages from-to
20220012
UT code for WoS article
000967467900003
EID of the result in the Scopus database
2-s2.0-85152021188

Similar results(10)