Degree spectra of relations on computable structures in the presence of Δ<sub>2</sub><sup>0</sup>isomorphisms (Q3149990): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Elementary induction on abstract structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relations Intrinsically Recursive in Linear Orders / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computable isomorphisms, degree spectra of relations, and Scott families / rank
 
Normal rank
Property / cites work
 
Property / cites work: The d.r.e. degrees are not dense / rank
 
Normal rank
Property / cites work
 
Property / cites work: Permitting, forcing, and copying of a given recursive relation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Degree spectra of intrinsically c.e. relations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Turing degrees of certain isomorphic images of computable relations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some effects of Ash-Nerode and other decidability conditions on degree spectra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Intrinsically Hyperarithmetical Sets / rank
 
Normal rank

Latest revision as of 16:34, 4 June 2024

scientific article
Language Label Description Also known as
English
Degree spectra of relations on computable structures in the presence of Δ<sub>2</sub><sup>0</sup>isomorphisms
scientific article

    Statements

    Degree spectra of relations on computable structures in the presence of Δ<sub>2</sub><sup>0</sup>isomorphisms (English)
    0 references
    4 December 2002
    0 references
    \(\Delta^0_2\)-categorical computable structures
    0 references
    degree spectra
    0 references
    invariant relations
    0 references
    computable relations
    0 references
    computable linear orderings
    0 references
    1-decidable structures
    0 references

    Identifiers