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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Degree spectra of relations on structures of finite computable dimension
scientific article

    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