Effective compactness and orbits of points under the isometry group (Q2105085)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Effective compactness and orbits of points under the isometry group
scientific article

    Statements

    Effective compactness and orbits of points under the isometry group (English)
    0 references
    0 references
    0 references
    8 December 2022
    0 references
    computable metric space
    0 references
    effective compactness
    0 references
    computability structure
    0 references
    computably categorical metric space
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references