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.
Primary authors
Mr
Patrik Vasung
(University of Zagreb)
Prof.
Zvonko Iljazović
(University of Zagreb)
