Title: | Senior research assistant |
Public phone number: | 5879 |
E-mail: | |
Department: | Zavod za topologiju |
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
Computable neighbourhoods of points in semicomputable manifolds
Semicomputable 1-polyhedra
Starlike neighbourhoods and computability
Computability of a wedge of circles
Maximal computability structures
Linear Metrics and Effective Separating Sequences