Initial segments of computable linear orders with computable natural relations (Q308863)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Initial segments of computable linear orders with computable natural relations
scientific article

    Statements

    Initial segments of computable linear orders with computable natural relations (English)
    0 references
    6 September 2016
    0 references
    0 references
    linear order
    0 references
    initial segment
    0 references
    density relation
    0 references
    right limit relation
    0 references
    left limit relation
    0 references