Induction rules in bounded arithmetic
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F20%3A00523579" target="_blank" >RIV/67985840:_____/20:00523579 - isvavai.cz</a>
Výsledek na webu
<a href="https://link.springer.com/article/10.1007%2Fs00153-019-00702-w" target="_blank" >https://link.springer.com/article/10.1007%2Fs00153-019-00702-w</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s00153-019-00702-w" target="_blank" >10.1007/s00153-019-00702-w</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Induction rules in bounded arithmetic
Popis výsledku v původním jazyce
We study variants of Buss's theories of bounded arithmetic axiomatized by induction schemes disallowing the use of parameters, and closely related induction inference rules. We put particular emphasis on Pi^b_i induction schemes, which were so far neglected in the literature. We present inclusions and conservation results between the systems (including a witnessing theorem for T^2_i and S^2_i of a new form), results on numbers of instances of the axioms or rules, connections to reflection principles for quantified propositional calculi, and separations between the systems.
Název v anglickém jazyce
Induction rules in bounded arithmetic
Popis výsledku anglicky
We study variants of Buss's theories of bounded arithmetic axiomatized by induction schemes disallowing the use of parameters, and closely related induction inference rules. We put particular emphasis on Pi^b_i induction schemes, which were so far neglected in the literature. We present inclusions and conservation results between the systems (including a witnessing theorem for T^2_i and S^2_i of a new form), results on numbers of instances of the axioms or rules, connections to reflection principles for quantified propositional calculi, and separations between the systems.
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
<a href="/cs/project/GBP202%2F12%2FG061" target="_blank" >GBP202/12/G061: Centrum excelence - Institut teoretické informatiky (CE-ITI)</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2020
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
Archive for Mathematical Logic
ISSN
0933-5846
e-ISSN
—
Svazek periodika
59
Číslo periodika v rámci svazku
3-4
Stát vydavatele periodika
DE - Spolková republika Německo
Počet stran výsledku
41
Strana od-do
461-501
Kód UT WoS článku
000495931600001
EID výsledku v databázi Scopus
2-s2.0-85075128463