The logic of \(\Pi_ 1\)-conservativity continued

DOI10.1007/BF01270395zbMath0790.03018OpenAlexW2054981947MaRDI QIDQ1311428

Franco Montagna, Petr Hájek

Publication date: 22 June 1994

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

interpretability logicarithmetical completeness theoremwitness comparisonslogic of \(\Pi_ 1\)-conservativityMontagna's principlepropositional modal logic IRM

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (7)

Franco Montagna's work on provability logic and many-valued logic ⋮ Transductions in arithmetic ⋮ Obituary: Franco Montagna (1948--2015) ⋮ A short note on essentially \(\Sigma_1\) sentences ⋮ Provability and interpretability logics with restricted realizations ⋮ Reflection calculus and conservativity spectra ⋮ On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories

Cites Work

• The logic of \(\Pi_ 1\)-conservativity
• A simplification of a completeness proof of Guaspari and Solovay
• Sentences implying their own provability
• Rosser sentences

This page was built for publication: The logic of \(\Pi_ 1\)-conservativity continued