On initial segments of computable linear orders (Q1267602): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claims
RedirectionBot (talk | contribs)
Changed an Item
Property / author
 
Property / author: Rodney G. Downey / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Marius Zimand / rank
 
Normal rank

Revision as of 01:45, 11 February 2024

scientific article
Language Label Description Also known as
English
On initial segments of computable linear orders
scientific article

    Statements

    On initial segments of computable linear orders (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    27 June 1999
    0 references
    It is shown that there is a computable linear order that has an initial segment \({\mathcal A}\) such that \({\mathcal A}\) is \(\Pi^0_2\), is isomorphic to the set of rational numbers with the usual ordering, and has the key property that it is not isomorphic to a computable linear order. This stands in contrast with a recent result of Ambos-Spies, Cooper, and Lempp that states that every \(\Sigma_2^0\) initial segment of a computable linear order is isomorphic to a computable linear order.
    0 references
    initial segments
    0 references
    arithmetic degrees
    0 references
    computable linear order
    0 references
    0 references

    Identifiers