Switch to: References

Add citations

You must login to add citations.
  1. Interpretability Degrees of Finitely Axiomatized Sequential Theories.Albert Visser - 2014 - Archive for Mathematical Logic 53 (1-2):23-42.
    In this paper we show that the degrees of interpretability of finitely axiomatized extensions-in-the-same-language of a finitely axiomatized sequential theory—like Elementary Arithmetic EA, IΣ1, or the Gödel–Bernays theory of sets and classes GB—have suprema. This partially answers a question posed by Švejdar in his paper (Commentationes Mathematicae Universitatis Carolinae 19:789–813, 1978). The partial solution of Švejdar’s problem follows from a stronger fact: the convexity of the degree structure of finitely axiomatized extensions-in-the-same-language of a finitely axiomatized sequential theory in the degree (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The∀∃ Theory of Peano Σ1 Sentences.Per Lindström & V. Yu Shavrukov - 2008 - Journal of Mathematical Logic 8 (2):251-280.
    We present a decision procedure for the ∀∃ theory of the lattice of Σ1 sentences of Peano Arithmetic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Franco Montagna’s Work on Provability Logic and Many-Valued Logic.Lev Beklemishev & Tommaso Flaminio - 2016 - Studia Logica 104 (1):1-46.
    Franco Montagna, a prominent logician and one of the leaders of the Italian school on Mathematical Logic, passed away on February 18, 2015. We survey some of his results and ideas in the two disciplines he greatly contributed along his career: provability logic and many-valued logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark