Rosser and Mostowski sentences

DOI10.1007/BF01620761zbMath0688.03041OpenAlexW2028855113MaRDI QIDQ1263586

Franco Montagna, Giovanni Sommaruga

Publication date: 1988

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

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

zbMATH Keywords

Peano Arithmeticarithmetical completenessRosser sentenceswitness comparisonsemantical completenessmodal provability operatorsMostowski sentences

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30)

Related Items (2)

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

This page was built for publication: Rosser and Mostowski sentences