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.
![[thumbnail of compms.pdf]](https://eprints.maths.manchester.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
compms.pdf Download (167kB) |
Abstract
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 |
| URI: | https://eprints.maths.manchester.ac.uk/id/eprint/1633 |
Actions (login required)
 |
View Item |