Computable embeddability for algebraic structures (Q5876742)
From MaRDI portal
scientific article; zbMATH DE number 7648876
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computable embeddability for algebraic structures |
scientific article; zbMATH DE number 7648876 |
Statements
Computable embeddability for algebraic structures (English)
0 references
2 February 2023
0 references
computable reducibility
0 references
preorder
0 references
computable structure theory
0 references
isomorphic embedding
0 references
torsion abelian group
0 references
distributive lattice
0 references
punctual structure
0 references
primitive recursion
0 references
