Pages that link to "Item:Q750430"

The following pages link to Some applications of computable one-one numberings (Q750430):

Displaying 3 items.

• 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)