Pages that link to "Item:Q3133168"
From MaRDI portal
The following pages link to Gödel–Rosser's Incompleteness Theorem, generalized and optimized for definable theories (Q3133168):
Displaying 4 items.
- Rosser provability and the second incompleteness theorem (Q2097058) (← 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)
- HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC (Q5024504) (← links)