Počet záznamů: 1  

Interpretability in PRA

  1. 1.
    SYSNO ASEP0332835
    Druh ASEPJ - Článek v odborném periodiku
    Zařazení RIVJ - Článek v odborném periodiku
    Poddruh JČlánek ve WOS
    NázevInterpretability in PRA
    Překlad názvuInterpretovatelnost 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-138
    Poč.str.11 s.
    Jazyk dok.eng - angličtina
    Země vyd.NL - Nizozemsko
    Klíč. slovainterpretability ; arithmetic ; primitive recursive arithmetic ; interpretability logic
    Vědní obor RIVBA - Obecná matematika
    CEPIAA900090703 GA AV ČR - Akademie věd
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    UT WOS000271342500003
    EID SCOPUS70349432210
    DOI10.1016/j.apal.2009.05.012
    AnotaceIn 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
    KontaktTereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
    Rok sběru2010
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.