Arithmetical soundness and completeness for _2 numerations

DOI10.1007/S11225-017-9782-4MaRDI QIDQ1756596zbMATH OpenOpenAlexFDO

Authors Taishi Kurahashi

Publication date 21 December 2018

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-017-9782-4

zbMATH Keywords

arithmetical completeness theoremformalized arithmeticnumerationsprovability logicSacchetti's logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Arithmetical completeness theorem for modal logic \(\mathsf{K}\)
• Independent numerations of theories and of recursive progressions
• Provability logics relative to a fixed extension of Peano arithmetic
• scientific article; zbMATH DE number 4010488
• On predicate provability logics and binumerations of fragments of Peano arithmetic

Cites work

• A smart child of Peano's
• Arithmetical completeness theorem for modal logic \(\mathsf{K}\)
• Arithmetization of metamathematics in a general setting
• Four valued semantics and the Liar
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 2014521 (Why is no real title available?)
• scientific article; zbMATH DE number 3190337 (Why is no real title available?)
• On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)
• ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS
• Peano's smart children: A provability logical study of systems with built-in consistency
• Provability interpretations of modal logic
• The fixed point property in modal logic

Cited in

(14)

• Interpolation properties for Sacchetti's logics
• Effectively constructible fixed points in Sacchetti's modal logics of provability
• Rosser provability and normal modal logics
• The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb
• Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic
• Current research on Gödel's incompleteness theorems
• VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY
• Another look at the second incompleteness theorem
• Arithmetical completeness theorems for monotonic modal logics
• The persistence principle over weak interpretability logic
• Reflexivity of -consistency in a general setting
• Numeral completeness of weak theories of arithmetic
• General notions of consistency
• Finite model property of pretransitive analogues of (w)K4 and GL

This page was built for publication: Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1756596)