Pages that link to "Item:Q2630488"
From MaRDI portal
The following pages link to Undecidability of elementary theories of Rogers semilattices of analytical hierarchies (Q2630488):
Displaying 7 items.
- Numberings in the analytical hierarchy (Q828123) (← links)
- Elementary theories and hereditary undecidability for semilattices of numberings (Q1734277) (← links)
- Theories of Rogers semilattices of analytical numberings (Q2030131) (← links)
- Computable positive and Friedberg numberings in hyperarithmetic (Q2213918) (← links)
- On universal pairs in the Ershov hierarchy (Q2221958) (← links)
- Partial decidable presentations in hyperarithmetic (Q2332068) (← links)
- UNDECIDABILITY OF THE THEORIES OF CLASSES OF STRUCTURES (Q5177872) (← links)