Rosser and Mostowski sentences

DOI10.1007/BF01620761zbMath0688.03041MaRDI QIDQ1263586

Franco Montagna, Giovanni Sommaruga

Publication date: 1988

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

zbMATH Keywords

Peano Arithmetic; arithmetical completeness; Rosser sentences; witness comparison; semantical completeness; modal provability operators; Mostowski sentences

Mathematics Subject Classification ID

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

03F30: First-order arithmetic and fragments

Related Items

Obituary: Franco Montagna (1948--2015), A note on some extension results

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modal logics with several operators and probability interpretations
• The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
• A simplification of a completeness proof of Guaspari and Solovay
• Generic generalized Rosser fixed points
• Provability interpretations of modal logic
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• A generalization of the incompleteness theorem
• Sentences implying their own provability
• Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
• Rosser sentences
• Representability of recursively enumerable sets in formal theories
• Extensions of some theorems of Gödel and Church