No CrossRef data available.
Article contents
Effective metric model theory
Published online by Cambridge University Press: 24 November 2014
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
- Information
- Mathematical Structures in Computer Science , Volume 25 , Special Issue 8: Computing with Infinite Data: Topological and Logical Foundations Part 2 , December 2015 , pp. 1779 - 1798
- Copyright
- Copyright © Cambridge University Press 2014