Pages that link to "Item:Q3237141"
From MaRDI portal
The following pages link to Some proofs of undecidability of arithmetic (Q3237141):
Displaying 7 items.
- On the concept of categoricity (Q2538118) (← links)
- (Q3691669) (← links)
- (Q3794179) (← links)
- Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem (Q4382476) (← links)
- TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE (Q4882918) (← links)
- Computer Science Logic (Q5311278) (← links)
- (Q5711939) (← links)