Pages that link to "Item:Q514512"
From MaRDI portal
The following pages link to Turing-Taylor expansions for arithmetic theories (Q514512):
Displaying 7 items.
- Conservativity spectra and Joosten-Fernández model (Q2079167) (← links)
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- Hyperarithmetical worm battles (Q2151396) (← links)
- The logic of Turing progressions (Q2176413) (← links)
- ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR (Q4628679) (← links)
- MÜNCHHAUSEN PROVABILITY (Q5015723) (← links)
- Reflection calculus and conservativity spectra (Q5377088) (← links)
