The following pages link to (Q4460829):
Displayed 7 items.
- Program self-reference in constructive Scott subdomains (Q693046) (← links)
- Precomplete numberings (Q2036469) (← links)
- On universal pairs in the Ershov hierarchy (Q2221958) (← links)
- Universal computable enumerations of finite classes of families of total functions (Q2363401) (← links)
- Inductive inference and computable numberings (Q2430009) (← links)
- On a Question of Frank Stephan (Q3502666) (← links)
- Numberings, c.e. oracles, and fixed points (Q6062177) (← links)