Pages that link to "Item:Q1062051"
From MaRDI portal
The following pages link to Recursive linear orders with recursive successivities (Q1062051):
Displaying 19 items.
- Initial segments of computable linear orders with computable natural relations (Q308863) (← links)
- Computable ideals in \(I\)-algebras (Q619312) (← links)
- Recursive automorphisms of recursive linear orderings (Q1061738) (← links)
- Recursive categoricity and recursive stability (Q1084103) (← links)
- A linear operator approach to succession rules (Q1601633) (← links)
- Computable torsion abelian groups (Q1688648) (← links)
- Computable linear orders and the Ershov hierarchy (Q1746441) (← links)
- \(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings (Q1861536) (← links)
- Computable linear orders and the ershov hierarchy (Q2112325) (← links)
- Algorithmic relationships of relations \(S_{\mathcal{L}}^n\) on linear orders (Q2172889) (← links)
- Codings on linear orders and algorithmic independence of natural relations (Q2263111) (← links)
- Every recursive linear ordering has a copy in DTIME-SPACE(<i>n</i>,log(<i>n</i>)) (Q3489983) (← links)
- Relations Intrinsically Recursive in Linear Orders (Q3712322) (← links)
- Decidable discrete linear orders (Q3807188) (← links)
- Recursive Linear Orders with Incomplete Successivities (Q3977226) (← links)
- Linear Order Types of Nonrecursive Presentability (Q4722061) (← links)
- COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS II: DEGREE SPECTRA (Q5251362) (← links)
- Punctual 1-linear orders (Q6059288) (← links)
- ON COHESIVE POWERS OF LINEAR ORDERS (Q6095969) (← links)
