The following pages link to Embeddings of computable structures (Q976535):
Displaying 8 items.
- Comparing classes of finite sums (Q282120) (← links)
- The computable embedding problem (Q695798) (← links)
- On existential interpretability of structures (Q892029) (← links)
- Computable embeddings for pairs of linear orders (Q2055305) (← links)
- Classes of Ulm type and coding rank-homogeneous trees in other structures (Q3173529) (← links)
- (Q4428702) (← links)
- (Q4513972) (← links)
- Computable embeddings and strongly minimal theories (Q5422316) (← links)