Computably categorical structures and expansions by constants (Q4254616)
From MaRDI portal
scientific article; zbMATH DE number 1310691
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computably categorical structures and expansions by constants |
scientific article; zbMATH DE number 1310691 |
Statements
Computably categorical structures and expansions by constants (English)
0 references
9 January 2000
0 references
computable structure
0 references
recursive structure
0 references
computable isomorphism type
0 references
computably categorical structure
0 references
recursively categorical structure
0 references
effective model theory
0 references
