The following pages link to (Q2709299):
Displayed 5 items.
- Positive undecidable numberings in the Ershov hierarchy (Q695803) (← links)
- Characterizing programming systems allowing program self-reference (Q733737) (← links)
- Properties of numberings in various levels of the Ershov hierarchy (Q1948664) (← links)
- Infinite family of \(\Sigma_a^{-1}\)-sets with a unique computable numbering (Q1948665) (← links)
- Rogers semilattices of families of two embedded sets in the Ershov hierarchy (Q2910992) (← links)