The following pages link to Turing Jumps Through Provability (Q3195699):
Displaying 8 items.
- Turing-Taylor expansions for arithmetic theories (Q514512) (← links)
- Turing jumps in the Ershov hierarchy (Q695781) (← links)
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- Local reflection, definable elements and 1-provability (Q2204378) (← links)
- On the reduction property for GLP-algebras (Q2358595) (← links)
- Turing Tumble is Turing-complete (Q2683507) (← links)
- MÜNCHHAUSEN PROVABILITY (Q5015723) (← links)
- Some observations on the FGH theorem (Q6057622) (← links)
