Skip to main content
×
Home

Effective metric model theory

  • MASOUD POURMAHDIAN (a1), NAZANIN R. TAVANA (a2) and FARZAD DIDEHVAR (a3)
Abstract

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.

Copyright
References
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? *
×

Metrics

Full text views

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

Abstract views

Total abstract views: 390 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 23rd November 2017. This data will be updated every 24 hours.