DC FieldValueLanguage
dc.contributor.authorTanović, Predragen
dc.date.accessioned2020-05-19T09:43:40Z-
dc.date.available2020-05-19T09:43:40Z-
dc.date.issued2010-04-01en
dc.identifier.issn0168-0072en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/2762-
dc.description.abstractLet T be a complete, countable, first-order theory having infinite models. We introduce types directed by constants, and prove that their presence in a model of T guaranties the maximal number of non-isomorphic countable models :  I (א0, T) = 2א 0en
dc.publisherElsevier-
dc.relation.ispartofAnnals of Pure and Applied Logicen
dc.subjectModel theory | Ordered structure | Semi-isolation | Small theoryen
dc.titleTypes directed by constantsen
dc.typeArticleen
dc.identifier.doi10.1016/j.apal.2009.12.002en
dc.identifier.scopus2-s2.0-77649339186en
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Arts-
dc.relation.firstpage944en
dc.relation.lastpage955en
dc.relation.issue7en
dc.relation.volume161en
dc.description.rankM22-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeArticle-
item.cerifentitytypePublications-
item.fulltextNo Fulltext-
item.grantfulltextnone-
crisitem.author.deptMathematics-
crisitem.author.orcid0000-0003-0307-7508-
Show simple item record

SCOPUSTM   
Citations

4
checked on Nov 25, 2024

Page view(s)

10
checked on Nov 24, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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