Pages that link to "Item:Q2253864"
From MaRDI portal
The following pages link to On a Diophantine representation of the predicate of provability (Q2253864):
Displaying 6 items.
- Division by zero (Q335000) (← links)
- A polynomial encoding provability in pure mathematics (outline of an explicit construction) (Q351271) (← links)
- Existential arithmetization of Diophantine equations (Q1006616) (← links)
- On a theorem of Matiyasevich (Q2210378) (← links)
- On Rosser's Provability Predicate (Q5203006) (← links)
- Undecidable problems in quantum field theory (Q6049665) (← links)