Fragment nestandardní analýzy s finitárním důkazem konzistence

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F07%3A00085348" target="_blank" >RIV/67985840:_____/07:00085348 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Fragment of Nonstandard Analysis with a Finitary Consistency Proof
Popis výsledku v původním jazyce
We introduce a nonstandard arithmetic NQA-based on the theory developed by R. Chuaqui and P. Suppes in [2](we will denote it by NQA+), with a weakened external open minimization schema. A finitary consistency proof for NQA-formalizable in PRA is presented. We also show interesting facts about the strength of the theories NQA-and NQA+. NQA- is mutually interpretable with |.DELTA.0 + EXP, and on the other hand, NQA+interprets the theories |.SIGMA.1 and WKL0.
Název v anglickém jazyce
Fragment of Nonstandard Analysis with a Finitary Consistency Proof
Popis výsledku anglicky
We introduce a nonstandard arithmetic NQA-based on the theory developed by R. Chuaqui and P. Suppes in [2](we will denote it by NQA+), with a weakened external open minimization schema. A finitary consistency proof for NQA-formalizable in PRA is presented. We also show interesting facts about the strength of the theories NQA-and NQA+. NQA- is mutually interpretable with |.DELTA.0 + EXP, and on the other hand, NQA+interprets the theories |.SIGMA.1 and WKL0.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—

Rok uplatnění
2007
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ů

Podobné výsledky(10)