Počet záznamů: 1
Interpretability in PRA
- 1.
SYSNO ASEP 0332835 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 Interpretability in PRA Překlad názvu Interpretovatelnost v PRA Tvůrce(i) Bílková, Marta (UIVT-O) SAI, RID, ORCID
De Jongh, D. (NL)
Joosten, J.J. (NL)Zdroj.dok. Annals of Pure and Applied Logic. - : Elsevier - ISSN 0168-0072
Roč. 161, č. 2 (2009), s. 128-138Poč.str. 11 s. Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova interpretability ; arithmetic ; primitive recursive arithmetic ; interpretability logic Vědní obor RIV BA - Obecná matematika CEP IAA900090703 GA AV ČR - Akademie věd CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000271342500003 EID SCOPUS 70349432210 DOI 10.1016/j.apal.2009.05.012 Anotace In this paper we study IL(PRA), the interpretability logic of PRA. As PRA is neither an essentially reflexive theory nor finitely axiomatizable, the two known arithmetical completeness results do not apply to PRA: IL(PRA) is not ILM or ILP. We consider two arithmetical properties of PRA and see what their consequences in the modal logic IL(PRA) are. These properties are reflected in the so-called Beklemishev Principle B, and Zambella's Principle Z. We prove a frame condition for B, and that Z follows from a restricted form of B. Finally, we give an overview of the known relationships of IL(PRA) to important other interpetability principles. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2010
Počet záznamů: 1