Effective metric model theory
Massoud Pourmahdian, N. R. Tavana, Farzad Didehvar · Mathematical Structures in Computer Science · 2014
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.