Počet záznamů: 1
Induction rules in bounded arithmetic
- 1.
SYSNO ASEP 0523579 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Induction rules in bounded arithmetic Tvůrce(i) Jeřábek, Emil (MU-W) RID, SAI, ORCID Zdroj.dok. Archive for Mathematical Logic. - : Springer - ISSN 0933-5846
Roč. 59, č. 3-4 (2020), s. 461-501Poč.str. 41 s. Jazyk dok. eng - angličtina Země vyd. DE - Německo Klíč. slova bounded arithmetic ; parameter-free induction Vědní obor RIV BA - Obecná matematika Obor OECD Pure mathematics CEP GBP202/12/G061 GA ČR - Grantová agentura ČR Způsob publikování Omezený přístup Institucionální podpora MU-W - RVO:67985840 UT WOS 000495931600001 EID SCOPUS 85075128463 DOI 10.1007/s00153-019-00702-w Anotace 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. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2021 Elektronická adresa https://link.springer.com/article/10.1007%2Fs00153-019-00702-w
Počet záznamů: 1