Skip to main content Accesibility Help

Effective metric model theory


This paper is a further investigation of a project carried out in Didehvar and Ghasemloo (2009) to study effective aspects of the metric logic. We prove an effective version of the omitting types theorem. We also present some concrete computable constructions showing that both the separable atomless probability algebra and the rational Urysohn space are computable metric structures.

Hide All
Ben Yaacov, I. and Pedersen, A. P. (2010) A proof of completeness for continuous first order logic. Journal of Symbolic Logic 75 (1) 168190.
Ben Yaacov, I. and Usvyatsov, A. (2007) On d-finiteness in continous structures. Fundamenta Mathematicae 194 6788.
Ben Yaacov, I., Usvyatsov, A., Henson, C. W and Berenstein, A. (2008) Model theory for metric structures, model theory with applications to algebra and analysis. In: Chatzidakis, Z., Macpherson, D., Pillay, A. and Wilkie, A. (eds.) London Mathematical Society lecture Note Series 350 Volume 2 315427.
Chang, C. C. and Keisler, H. J. (1966) Continuous Model Theory, Princeton University Press.
Didehvar, F., Ghasemloo, K. and Pourmahdian, M. (2009) Effectiveness in RPL, with applictions in continuous logic. Annals of Pure and Applied Logic, Elsevier.
Grubba, T., Weihrauch, K. and Xu, Y. (2008) Effectivity on continuous functions in topological spaces. In: Dillhage, R., Grubba, T., Sorbi, A., Weihrauch, K. and Zhong, N. (eds.) Proceedings of the Fourth International Conference on Computability and Complexity in Analysis (CCA 2007). Electronic Notes in Theoretical Computer Science 202 3–12. (Elsevier. CCA 2007, Siena, Italy, June 16–18, 2007.)
Harizanov, V. (1998) Pure computable model theory. In: Ershov, Yu. L., Goncharov, S. S., Nerode, A. and Remmel, J. B. (eds.) Handbook of Recursive Mathematics, Elsevier.
Harizanov, V., Csima, B., Miller, R. and Montalban, A. (2011) Computability of Fraïssé limit. Journal of Symbolic Logic 76 (1) 6693.
Hodges, W. (1993) Model Theory, Cambridge University Press.
Miller, T. S. (1998) Pure recursive model theory. In: Griffor, E. R. (ed.) Handbook of Computability Theory, Elsevier, Chapter 15, 507532.
Usvyatsov, A. (2008) Generic separable metric structures. Topology and its Applications 155 16071617.
Weihrauch, K. (2000) Computable Analysis, Springer, Berlin.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Mathematical Structures in Computer Science
  • ISSN: 0960-1295
  • EISSN: 1469-8072
  • URL: /core/journals/mathematical-structures-in-computer-science
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed