On the proof of Solovay's theorem

DOI10.1007/BF00370387zbMath0744.03057OpenAlexW1974741536MaRDI QIDQ1176096

Marc Jumelet, Franco Montagna, Dick H. J. de Jongh

Publication date: 25 June 1992

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

Full work available at URL: https://doi.org/10.1007/bf00370387

zbMATH Keywords

modal logicprovability logicfragments of arithmeticwitness comparisonsarithmetical completenessself-referential sentencesdiagonalization lemmaRosser logic

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)

Related Items (12)

Franco Montagna's work on provability logic and many-valued logic ⋮ Friedman-reflexivity ⋮ Interpretability suprema in Peano arithmetic ⋮ Theory and application of labelling techniques for interpretability logics ⋮ The omega-rule interpretation of transfinite provability logic ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Provability and interpretability logics with restricted realizations ⋮ Provability: The emergence of a mathematical modality ⋮ Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories ⋮ On the provability logic of bounded arithmetic ⋮ The analytical completeness of Dzhaparidze's polymodal logics ⋮ The arithmetics of a theory

Cites Work

• Self-reference and modal logic
• A simplification of a completeness proof of Guaspari and Solovay
• Provability interpretations of modal logic
• Rosser sentences

This page was built for publication: On the proof of Solovay's theorem