Isomorphisms and algorithmic properties of structures with two equivalences (Q321265)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Isomorphisms and algorithmic properties of structures with two equivalences |
scientific article |
Statements
Isomorphisms and algorithmic properties of structures with two equivalences (English)
0 references
13 October 2016
0 references
computable structures
0 references
arithmetic and hyperarithmetic hierarchies
0 references
isomorphisms
0 references
Scott family
0 references
definable relations
0 references
