Arithmetic with a local reflection principle for Rosser provability formulas

DOI10.1007/BF01158370MaRDI QIDQ908911zbMATH OpenFDO

Authors S. V. Goryachev

Publication date 1989

Published in Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

modal logicPeano arithmeticprovability logicreflection principleKripke modelRosser provability formula

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)

Recommendations

• Generic generalized Rosser fixed points
• On Rosser's Provability Predicate
• Reflection principles and provability algebras in formal arithmetic
• Universal Rosser predicates
• On the proof of Solovay's theorem

Cited in

(8)

• Universal Rosser predicates
• Rosser Orderings in Bimodal Logics
• Local reflection, definable elements and 1-provability
• A simplification of a completeness proof of Guaspari and Solovay
• Arithmetic analogues of McAloon's unique Rosser sentences
• A shorter proof of a recent result by R. Di Paola
• A remark on equivalent Rosser sentences
• Henkin sentences and local reflection principles for Rosser provability

This page was built for publication: Arithmetic with a local reflection principle for Rosser provability formulas

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