Computable reducibility for computable linear orders of type \(\omega \) (Q6187991): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Normalize DOI.
 
(One intermediate revision by one other user not shown)
Property / DOI
 
Property / DOI: 10.1007/s10958-022-06148-5 / rank
Normal rank
 
Property / cites work
 
Property / cites work: Positive equivalences / rank
 
Normal rank
Property / cites work
 
Property / cites work: Classifying positive equivalence relations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computably enumerable equivalence relations / rank
 
Normal rank
Property / cites work
 
Property / cites work: UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Survey on Universal Computably Enumerable Equivalence Relations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Joins and meets in the structure of ceers / rank
 
Normal rank
Property / cites work
 
Property / cites work: The structure of computably enumerable preorder relations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic structures computable without delay / rank
 
Normal rank
Property / cites work
 
Property / cites work: The diversity of categoricity without delay / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3949052 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The back-and-forth method and computability without delay / rank
 
Normal rank
Property / cites work
 
Property / cites work: Positive preorders / rank
 
Normal rank
Property / cites work
 
Property / cites work: Special classes of positive preorders / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bi‐embeddability spectra and bases of spectra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Degrees of bi-embeddable categoricity / rank
 
Normal rank
Property / cites work
 
Property / cites work: On bi-embeddable categoricity of algebraic structures / 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: Concerning partial recursive similarity transformations of linearly ordered sets / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S10958-022-06148-5 / rank
 
Normal rank

Latest revision as of 19:16, 30 December 2024

scientific article; zbMATH DE number 7798281
Language Label Description Also known as
English
Computable reducibility for computable linear orders of type \(\omega \)
scientific article; zbMATH DE number 7798281

    Statements

    Computable reducibility for computable linear orders of type \(\omega \) (English)
    0 references
    0 references
    0 references
    0 references
    1 February 2024
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references