The finite Language for Computable Metric Spaces

Korovina, Margarita and Kudinov, Oleg (2011) The finite Language for Computable Metric Spaces. In: Models of Computation in Context, Proc. 7th Conference on Computability in Europe, CiE 2011. Springer Lecture Notes in Computer Science (6735). Springer-Verlag, Heidleberg.

[img] PDF

Download (167kB)


In this paper we propose a model-theoretic characterisation of computable metric spaces and computability over them in a finite language.

Item Type: Book Section
Uncontrolled Keywords: CICADA, computable metric space
Subjects: MSC 2010, the AMS's Mathematics Subject Classification > 68 Computer science
Depositing User: Dr Margarita Korovina
Date Deposited: 24 Jun 2011
Last Modified: 20 Oct 2017 14:12

Actions (login required)

View Item View Item