Hostname: page-component-7c8c6479df-ws8qp Total loading time: 0 Render date: 2024-03-19T07:10:10.383Z Has data issue: false hasContentIssue false

Effective metric model theory

Published online by Cambridge University Press:  24 November 2014

MASOUD POURMAHDIAN
Affiliation:
Department of Mathematics and Computer Science, Amirkabir University of Technology, and School of Mathematics, Institute For Fundamental Sciences, Tehran, Iran Email: pourmahd@ipm.ir.
NAZANIN R. TAVANA
Affiliation:
Institute For Fundamental Sciences, Tehran, Iran Email: nazanin.r.tavana@ipm.ir
FARZAD DIDEHVAR
Affiliation:
Department of Mathematics and Computer Science, Amirkabir University of Technology, Tehran, Iran Email: didehvar@aut.ac.ir

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.

Type
Paper
Copyright
Copyright © Cambridge University Press 2014 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Ben Yaacov, I. and Pedersen, A. P. (2010) A proof of completeness for continuous first order logic. Journal of Symbolic Logic 75 (1) 168190.Google Scholar
Ben Yaacov, I. and Usvyatsov, A. (2007) On d-finiteness in continous structures. Fundamenta Mathematicae 194 6788.CrossRefGoogle Scholar
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.Google Scholar
Chang, C. C. and Keisler, H. J. (1966) Continuous Model Theory, Princeton University Press.CrossRefGoogle Scholar
Didehvar, F., Ghasemloo, K. and Pourmahdian, M. (2009) Effectiveness in RPL, with applictions in continuous logic. Annals of Pure and Applied Logic, Elsevier.Google Scholar
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.)CrossRefGoogle Scholar
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.Google Scholar
Harizanov, V., Csima, B., Miller, R. and Montalban, A. (2011) Computability of Fraïssé limit. Journal of Symbolic Logic 76 (1) 6693.Google Scholar
Hodges, W. (1993) Model Theory, Cambridge University Press.Google Scholar
Miller, T. S. (1998) Pure recursive model theory. In: Griffor, E. R. (ed.) Handbook of Computability Theory, Elsevier, Chapter 15, 507532.Google Scholar
Usvyatsov, A. (2008) Generic separable metric structures. Topology and its Applications 155 16071617.CrossRefGoogle Scholar
Weihrauch, K. (2000) Computable Analysis, Springer, Berlin.CrossRefGoogle Scholar