Speaker
Zvonko Iljazović
(University of Zagreb)
Description
We examine conditions under which a metric basis of a computable metric space has to be computable. We focus mainly on spaces which have one-point metric bases. We prove that in an effectively compact metric space with finitely many connected components any one-point metric basis is computable.
