Rosser sentences
From MaRDI portal
Publication:3861389
DOI10.1016/0003-4843(79)90017-2zbMath0426.03062OpenAlexW4206831068MaRDI QIDQ3861389
Robert M. Solovay, David Guaspari
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
Related Items
Logic of proofs, On Guaspari's problem about partially conservative sentences, The Henkin Sentence, A simplification of a completeness proof of Guaspari and Solovay, Generic generalized Rosser fixed points, Friedman-reflexivity, 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, Rosser provability and normal modal logics, Arithmetical completeness theorems for monotonic modal logics, Some observations on the FGH theorem, Henkin sentences and local reflection principles for Rosser provability, Polynomially and superexponentially shorter proofs in fragments of arithmetic, A short note on essentially \(\Sigma_1\) sentences, ILLUSORY MODELS OF PEANO ARITHMETIC, Bimodal logics for extensions of arithmetical theories, On the proof of Solovay's theorem, Rosser orderings and free variables, Yablifying the Rosser sentence, Rosser-type undecidable sentences based on Yablo's paradox, A remark on equivalent Rosser sentences, On the provability logic of bounded arithmetic, UNIVERSAL ROSSER PREDICATES, Modal analysis of generalized rosser sentences, Uniform density in Lindenbaum algebras, Fixed point algebras, SELF-REFERENCE IN ARITHMETIC II, Sentences implying their own provability, Faith \& falsity, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS, Rosser and Mostowski sentences, The logic of \(\Pi_ 1\)-conservativity, A note on some extension results, GÖDEL’S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS, FINDING THE LIMIT OF INCOMPLETENESS I, Rosser provability and the second incompleteness theorem, The logic of \(\Pi_ 1\)-conservativity continued, The arithmetics of a theory
