Metric fixed point theory and partial impredicativity
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
<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>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Metric fixed point theory and partial impredicativity
Popis výsledku v původním jazyce
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'.
Název v anglickém jazyce
Metric fixed point theory and partial impredicativity
Popis výsledku anglicky
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'.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2023
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Philosophical Transactions of the Royal Society A-Mathematical Physical and Engineering Sciences
ISSN
1364-503X
e-ISSN
1471-2962
Svazek periodika
381
Číslo periodika v rámci svazku
2248
Stát vydavatele periodika
GB - Spojené království Velké Británie a Severního Irska
Počet stran výsledku
20
Strana od-do
20220012
Kód UT WoS článku
000967467900003
EID výsledku v databázi Scopus
2-s2.0-85152021188