{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T19:37:29Z","timestamp":1649014649229},"reference-count":12,"publisher":"Cambridge University Press (CUP)","issue":"8","license":[{"start":{"date-parts":[[2014,11,24]],"date-time":"2014-11-24T00:00:00Z","timestamp":1416787200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2015,12]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1017\/s0960129513000352","type":"journal-article","created":{"date-parts":[[2014,11,24]],"date-time":"2014-11-24T02:48:21Z","timestamp":1416797301000},"page":"1779-1798","source":"Crossref","is-referenced-by-count":0,"title":["Effective metric model theory"],"prefix":"10.1017","volume":"25","author":[{"given":"MASOUD","family":"POURMAHDIAN","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"NAZANIN R.","family":"TAVANA","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"FARZAD","family":"DIDEHVAR","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,11,24]]},"reference":[{"key":"S0960129513000352_ref1","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1264433914"},{"key":"S0960129513000352_ref7","volume-title":"Handbook of Recursive Mathematics","author":"Harizanov","year":"1998"},{"key":"S0960129513000352_ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9"},{"key":"S0960129513000352_ref3","first-page":"315","article-title":"Model theory for metric structures, model theory with applications to algebra and analysis","volume":"2","author":"Ben Yaacov","year":"2008","journal-title":"London Mathematical Society lecture Note Series 350"},{"key":"S0960129513000352_ref9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511551574"},{"key":"S0960129513000352_ref5","volume-title":"Annals of Pure and Applied Logic","author":"Didehvar","year":"2009"},{"key":"S0960129513000352_ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.topol.2007.08.023"},{"key":"S0960129513000352_ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.03.018"},{"key":"S0960129513000352_ref4","doi-asserted-by":"crossref","DOI":"10.1515\/9781400882052","volume-title":"Continuous Model Theory","author":"Chang","year":"1966"},{"key":"S0960129513000352_ref10","first-page":"507","volume-title":"Handbook of Computability Theory","author":"Miller","year":"1998"},{"key":"S0960129513000352_ref8","doi-asserted-by":"crossref","first-page":"66","DOI":"10.2178\/jsl\/1294170990","article-title":"Computability of Fra\u00efss\u00e9 limit","volume":"76","author":"Harizanov","year":"2011","journal-title":"Journal of Symbolic Logic"},{"key":"S0960129513000352_ref2","doi-asserted-by":"publisher","DOI":"10.4064\/fm194-1-4"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129513000352","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,17]],"date-time":"2019-08-17T15:12:45Z","timestamp":1566054765000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129513000352\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,24]]},"references-count":12,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["S0960129513000352"],"URL":"https:\/\/doi.org\/10.1017\/s0960129513000352","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,24]]}}}