Computable isomorphisms, degree spectra of relations, and Scott families (Q1295389)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Computable isomorphisms, degree spectra of relations, and Scott families |
scientific article; zbMATH DE number 1308074
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computable isomorphisms, degree spectra of relations, and Scott families |
scientific article; zbMATH DE number 1308074 |
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
0 references