Pages that link to "Item:Q2470037"
From MaRDI portal
The following pages link to A remark on equivalent Rosser sentences (Q2470037):
Displaying 9 items.
- Rosser-type undecidable sentences based on Yablo's paradox (Q484194) (← links)
- Henkin sentences and local reflection principles for Rosser provability (Q892168) (← links)
- Arithmetic analogues of McAloon's unique Rosser sentences (Q1114685) (← links)
- Scott sentences for equivalence structures (Q2309506) (← links)
- Much Shorter Proofs (Q4206724) (← links)
- GÖDEL’S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS (Q4984860) (← links)
- SELF-REFERENCE IN ARITHMETIC II (Q5176166) (← links)
- UNIVERSAL ROSSER PREDICATES (Q5738203) (← links)
- A NOTE ON DERIVABILITY CONDITIONS (Q5855755) (← links)