The following pages link to Rosser sentences (Q3861389):
Displayed 38 items.
- Yablifying the Rosser sentence (Q484179) (← links)
- Rosser-type undecidable sentences based on Yablo's paradox (Q484194) (← links)
- On the provability logic of bounded arithmetic (Q685071) (← links)
- Faith \& falsity (Q705533) (← links)
- The logic of \(\Pi_ 1\)-conservativity (Q749519) (← links)
- Henkin sentences and local reflection principles for Rosser provability (Q892168) (← links)
- A simplification of a completeness proof of Guaspari and Solovay (Q1099164) (← links)
- Generic generalized Rosser fixed points (Q1099165) (← links)
- On the proof of Solovay's theorem (Q1176096) (← links)
- Rosser orderings and free variables (Q1176097) (← links)
- Rosser and Mostowski sentences (Q1263586) (← links)
- The logic of \(\Pi_ 1\)-conservativity continued (Q1311428) (← links)
- Logic of proofs (Q1326774) (← links)
- A note on some extension results (Q1814182) (← links)
- A short note on essentially \(\Sigma_1\) sentences (Q1945709) (← links)
- Rosser provability and the second incompleteness theorem (Q2097058) (← links)
- On Guaspari's problem about partially conservative sentences (Q2120971) (← links)
- Friedman-reflexivity (Q2159935) (← links)
- Rosser provability and normal modal logics (Q2186698) (← links)
- Uniform density in Lindenbaum algebras (Q2258545) (← links)
- The arithmetics of a theory (Q2345393) (← links)
- A remark on equivalent Rosser sentences (Q2470037) (← links)
- ILLUSORY MODELS OF PEANO ARITHMETIC (Q2976385) (← links)
- Modal analysis of generalized rosser sentences (Q3331198) (← links)
- Fixed point algebras (Q3333037) (← links)
- Sentences implying their own provability (Q3338237) (← links)
- The Henkin Sentence (Q3454817) (← links)
- European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987 (Q3476783) (← links)
- Provability in finite subtheories of PA and relative interpretability: a modal investigation (Q3760515) (← links)
- Polynomially and superexponentially shorter proofs in fragments of arithmetic (Q4032866) (← links)
- Bimodal logics for extensions of arithmetical theories (Q4879903) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- GÖDEL’S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS (Q4984860) (← links)
- FINDING THE LIMIT OF INCOMPLETENESS I (Q4984861) (← links)
- SELF-REFERENCE IN ARITHMETIC II (Q5176166) (← links)
- UNIVERSAL ROSSER PREDICATES (Q5738203) (← links)
- Arithmetical completeness theorems for monotonic modal logics (Q6040616) (← links)
- Some observations on the FGH theorem (Q6057622) (← links)