A short note on essentially \(\Sigma_1\) sentences

DOI10.1007/s11787-012-0070-9zbMath1270.03039OpenAlexW2014462294MaRDI QIDQ1945709

Duccio Pianigiani, Franco Montagna

Publication date: 8 April 2013

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-012-0070-9

zbMATH Keywords

interpretability logicprovability logicessentially \(\Sigma_1\) formulafirst-order fragments of arithmetic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items

Obituary: Franco Montagna (1948--2015)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of \(\Pi_ 1\)-conservativity
• Provability interpretations of modal logic
• The logic of \(\Pi_ 1\)-conservativity continued
• A course on bimodal provability logic
• Self provers and  1 sentences
• Sentences implying their own provability
• Modal Matters for Interpretability Logics
• Rosser sentences
• Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem
• The interpretability logic of Peano arithmetic