The following pages link to (Q4249358):
Displaying 6 items.
- Degrees of orderings not isomorphic to recursive linear orderings (Q810503) (← links)
- Recursive automorphisms of recursive linear orderings (Q1061738) (← links)
- Recursive versus recursively enumerable binary relations (Q1319364) (← links)
- Degree spectra of relations on structures of finite computable dimension (Q1612487) (← links)
- On bi-embeddable categoricity of algebraic structures (Q2067511) (← links)
- On decidability of amenability in computable groups (Q2085571) (← links)