Up to equimorphism, hyperarithmetic is recursive (Q5718664)

From MaRDI portal
scientific article; zbMATH DE number 2247416
Language Label Description Also known as
English
Up to equimorphism, hyperarithmetic is recursive
scientific article; zbMATH DE number 2247416

    Statements

    Up to equimorphism, hyperarithmetic is recursive (English)
    0 references
    16 January 2006
    0 references
    0 references
    recursive linear ordering
    0 references
    recursive presentability
    0 references
    hyperarithmetic linear ordering
    0 references
    Hausdorff rank
    0 references
    equimorphism types
    0 references
    0 references