Pages that link to "Item:Q2112325"
From MaRDI portal
The following pages link to Computable linear orders and the ershov hierarchy (Q2112325):
Displaying 8 items.
- Computable numberings of families of low sets and Turing jumps in the Ershov hierarchy (Q542199) (← links)
- Presentations of the successor relation of computable linear ordering (Q619461) (← links)
- Degree spectra of the successor relation of computable linear orderings (Q1005920) (← links)
- The complexity space of a valued linearly ordered set (Q2843630) (← links)
- On Ehrenfeucht-Fraïssé equivalence of linear orderings (Q3483267) (← links)
- (Q4249724) (← links)
- COMPUTABLE LINEAR ORDERS AND PRODUCTS (Q5148100) (← links)
- COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS II: DEGREE SPECTRA (Q5251362) (← links)