Degree spectra of relations on structures of finite computable dimension (Q1612487)

From MaRDI portal





scientific article; zbMATH DE number 1787757
Language Label Description Also known as
English
Degree spectra of relations on structures of finite computable dimension
scientific article; zbMATH DE number 1787757

    Statements

    Degree spectra of relations on structures of finite computable dimension (English)
    0 references
    22 August 2002
    0 references
    The author proves that for every c.e. (\(\alpha\)-c.e., \(\alpha\in\omega\cup\{\omega\}\)) degree \(\mathbf d>0\) there is a computable structure whose algorithmic dimension is 2 and an intrinsically c.e. (\(\alpha\)-c.e.) relation on it such that its degree spectrum is \textbf{\{0,d\}}. Some generalizations and variations of this result are also considered.
    0 references
    degree spectra of relation
    0 references
    computable structure
    0 references
    computable dimension
    0 references
    computable model
    0 references
    recursive model
    0 references

    Identifiers