Effective compactness and orbits of points under the isometry group

Computable sequences and isometries

Isometries and the equivalence of the effective separating sequences

Chainable and circularly chainable semicomputable sets in computable topological spaces

Semicomputable 1-polyhedra

Starlike neighbourhoods and computability

Computable neighbourhoods of points in semicomputable manifolds

Computability of a wedge of circles

Maximal computability structures

Linear Metrics and Effective Separating Sequences