8th Croatian Mathematical Congress

Effectively compact metric spaces with locally Euclidean isometry group

3 Jul 2024, 11:45

20m

D3 (School of Applied Mathematics and Informatics, J. J. Strossmayer University of Osijek)

Talk ML: Logic, Computation and Mathematical Aspects of Computer Science Logic, Computation and Mathematical Aspects of Computer Science

Speaker

Mr Patrik Vasung (University of Zagreb)

Description

A computable metric space $(X,d,\alpha )$ is computably categorical if every two effective separating sequences in $(X,d)$ are equivalent up to isometry. It is known that computable metric space which is not effectively compact is not necessarily computably categorical.
We examine conditions under which an effectively compact metric space is computably categorical.
We show that every effectively compact metric space with locally Euclidean isometry group is computably categorical.