Computable isomorphisms, degree spectra of relations, and Scott families (Q1295389)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computable isomorphisms, degree spectra of relations, and Scott families |
scientific article |
Statements
Computable isomorphisms, degree spectra of relations, and Scott families (English)
0 references
16 August 1999
0 references
spectrum of a relation
0 references
computable structure
0 references
Turing degrees
0 references
computable partially ordered set
0 references
intrinsically c.e. relation
0 references
computably categorical structures
0 references
computable isomorphism types
0 references
Scott family
0 references
