论文信息 - Effective metric model theory

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.

Farzad Didehvar | Nazanin Tavana | Massoud Pourmahdian

[1] V. Harizanov. Pure computable model theory , 1998 .

[2] Terrence Millar. Pure Recursive Model Theory , 1999, Handbook of Computability Theory.

[3] Barbara F. Csima,et al. Computability of Fraïssé limits , 2011, J. Symb. Log..

[4] Klaus Weihrauch,et al. Computable Analysis: An Introduction , 2014, Texts in Theoretical Computer Science. An EATCS Series.

[5] H. Jerome Keisler,et al. Continuous Model Theory , 1966 .

[6] Wilfrid Hodges,et al. Model Theory: The existential case , 1993 .

[7] Edward R. Griffor. Handbook of Computability Theory , 1999, Handbook of Computability Theory.

[8] Itay Ben-Yaacov,et al. A proof of completeness for continuous first-order logic , 2009, The Journal of Symbolic Logic.

[9] Alexander Usvyatsov,et al. Generic separable metric structures , 2008, 0802.0156.

[10] C. Ward Henson,et al. Model Theory with Applications to Algebra and Analysis: Model theory for metric structures , 2008 .

[11] Klaus Weihrauch,et al. Effectivity on Continuous Functions in Topological Spaces , 2008, Electron. Notes Theor. Comput. Sci..

[12] Alexander Usvyatsov,et al. On d-finiteness in continuous structures , 2007 .

[13] Anand Pillay,et al. Model theory with applications to algebra and analysis , 2008 .

[14] H. Jerome Keisler,et al. Continuous Model Theory. (AM-58) , 1966 .

[15] Farzad Didehvar,et al. Effectiveness in RPL, with applications to continuous logic , 2010, Ann. Pure Appl. Log..