The following pages link to (Q4973206):
Displaying 6 items.
- Computable positive and Friedberg numberings in hyperarithmetic (Q2213918) (← links)
- Computable numberings of families of infinite sets (Q2300737) (← links)
- Partial decidable presentations in hyperarithmetic (Q2332068) (← links)
- An infinite family of \(\Sigma_a^{-1}\)-sets with a unique computable numbering (Q2899010) (← links)
- (Q3211289) (← links)
- (Q4677692) (← links)