8th Croatian Mathematical Congress

Metric bases and computability

5 Jul 2024, 11:30

20m

D2 (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

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.