DC FieldValueLanguage
dc.contributor.authorFarah, Ilijasen
dc.contributor.authorMagidor, Menachemen
dc.date.accessioned2020-04-27T10:33:37Z-
dc.date.available2020-04-27T10:33:37Z-
dc.date.issued2018-12-01en
dc.identifier.issn0219-0613en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/753-
dc.description.abstractThis paper is about omitting types in logic of metric structures introduced by Ben Yaacov, Berenstein, Henson and Usvyatsov. While a complete type is omissible in some model of a countable complete theory if and only if it is not principal, this is not true for the incomplete types by a result of Ben Yaacov. We prove that there is no simple test for determining whether a type is omissible in a model of a theory T in a countable language. More precisely, we find a theory in a countable language such that the set of types omissible in some of its models is a complete ∑21 set and a complete theory in a countable language such that the set of types omissible in some of its models is a complete π11 set. Two more unexpected examples are given: (i) a complete theory T and a countable set of types such that each of its finite sets is jointly omissible in a model of T, but the whole set is not and (ii) a complete theory and two types that are separately omissible, but not jointly omissible, in its models.en
dc.publisherWorld Scientific-
dc.relation.ispartofJournal of Mathematical Logicen
dc.subjectcomplete π sets 1 1 | complete ∑ sets 2 1 | Logic of metric structures | omitting typesen
dc.titleOmitting types in logic of metric structuresen
dc.typeArticleen
dc.identifier.doi10.1142/S021906131850006Xen
dc.identifier.scopus2-s2.0-85048661333en
dc.relation.issue2en
dc.relation.volume18en
dc.description.rankM21a-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeArticle-
item.grantfulltextnone-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0001-7703-6931-
Show simple item record

SCOPUSTM   
Citations

7
checked on May 23, 2024

Page view(s)

60
checked on May 9, 2024

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.