Pages that link to "Item:Q750430"
From MaRDI portal
The following pages link to Some applications of computable one-one numberings (Q750430):
Displaying 4 items.
- Computable one-to-one enumerations of effective domains (Q582908) (← links)
- 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 (Q4678940) (← links)
- Friedberg numberings in the Ershov hierarchy (Q5919177) (← links)
- Numberings, c.e. oracles, and fixed points (Q6062177) (← links)