Pages that link to "Item:Q1062051"
From MaRDI portal
The following pages link to Recursive linear orders with recursive successivities (Q1062051):
Displayed 8 items.
- Initial segments of computable linear orders with computable natural relations (Q308863) (← links)
- Computable ideals in \(I\)-algebras (Q619312) (← links)
- Recursive categoricity and recursive stability (Q1084103) (← links)
- Computable torsion abelian groups (Q1688648) (← links)
- \(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings (Q1861536) (← 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)
- COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS II: DEGREE SPECTRA (Q5251362) (← links)