The following pages link to Regular enumerations (Q4451721):
Displaying 7 items.
- Realizing levels of the hyperarithmetic hierarchy as degree spectra of relations on computable structures (Q1430995) (← links)
- A jump inversion theorem for the enumeration jump (Q1584013) (← links)
- Enumerations including laconic enumerators (Q2410366) (← links)
- Enumeration Reducibility and Computable Structure Theory (Q2970965) (← links)
- (Q5387501) (← links)
- Enumeration (18th–20th centuries) (Q5416199) (← links)
- Ivan Soskov: a life in computability (Q6599282) (← links)