Pages that link to "Item:Q619461"
From MaRDI portal
The following pages link to Presentations of the successor relation of computable linear ordering (Q619461):
Displaying 6 items.
- Computable linear orders and the Ershov hierarchy (Q1746441) (← links)
- Ranges of \(\eta \)-functions of \(\eta \)-like linear orderings (Q1759257) (← links)
- Computable linear orders and the ershov hierarchy (Q2112325) (← links)
- Algorithmic relationships of relations \(S_{\mathcal{L}}^n\) on linear orders (Q2172889) (← links)
- Corrigendum: "On the complexity of the successivity relation in computable linear orderings" (Q4596667) (← links)
- Punctual 1-linear orders (Q6059288) (← links)
