Rosser sentences

DOI10.1016/0003-4843(79)90017-2MaRDI QIDQ3861389zbMATH OpenOpenAlexFDO

Authors David Guaspari, Robert M. Solovay

Publication date 1979

Published in Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0003-4843(79)90017-2

zbMATH Keywords

interpretation of modal logic in Peano arithmeticRosser sentences

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Relative consistency and interpretations (03F25)

Cited in

(41)

• A simplification of a completeness proof of Guaspari and Solovay
• Generic generalized Rosser fixed points
• On the proof of Solovay's theorem
• Rosser orderings and free variables
• Rosser and Mostowski sentences
• The logic of \(\Pi_ 1\)-conservativity continued
• Logic of proofs
• A note on some extension results
• A short note on essentially \(\Sigma_1\) sentences
• Rosser provability and the second incompleteness theorem
• On Guaspari's problem about partially conservative sentences
• Friedman-reflexivity
• Rosser provability and normal modal logics
• Uniform density in Lindenbaum algebras
• The arithmetics of a theory
• A remark on equivalent Rosser sentences
• Illusory models of Peano arithmetic
• Modal analysis of generalized rosser sentences
• Fixed point algebras
• Sentences implying their own provability
• The Henkin sentence
• European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987
• Provability in finite subtheories of PA and relative interpretability: a modal investigation
• Polynomially and superexponentially shorter proofs in fragments of arithmetic
• Yablifying the Rosser sentence
• Rosser-type undecidable sentences based on Yablo's paradox
• Bimodal logics for extensions of arithmetical theories
• Current research on Gödel's incompleteness theorems
• Gödel's second incompleteness theorem: how it is derived and what it delivers
• Finding the limit of incompleteness. I
• Self-reference in arithmetic. II
• Universal Rosser predicates
• Arithmetical completeness theorems for monotonic modal logics
• Some observations on the FGH theorem
• Notes on my scientific life
• Adventures in Gödel Incompleteness
• On the provability logic of bounded arithmetic
• On the conservation results for local reflection principles
• Faith \& falsity
• The logic of \(\Pi_ 1\)-conservativity
• Henkin sentences and local reflection principles for Rosser provability

This page was built for publication: Rosser sentences

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