DC Field | Value | Language |
---|---|---|
dc.contributor.author | Moconja, Slavko | en |
dc.contributor.author | Tanović, Predrag | en |
dc.date.accessioned | 2020-05-19T09:43:38Z | - |
dc.date.available | 2020-05-19T09:43:38Z | - |
dc.date.issued | 2020-03-01 | en |
dc.identifier.issn | 0168-0072 | en |
dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/2751 | - |
dc.description.abstract | We introduce the notions of stationarily ordered types and theories; the latter generalizes weak o-minimality and the former is a relaxed version of weak o-minimality localized at the locus of a single type. We show that forking, as a binary relation on elements realizing stationarily ordered types, is an equivalence relation and that each stationarily ordered type in a model determines some order-type as an invariant of the model. We study weak and forking non-orthogonality of stationarily ordered types, show that they are equivalence relations and prove that invariants of non-orthogonal types are closely related. The techniques developed are applied to prove that in the case of a binary, stationarily ordered theory with fewer than 2ℵ0 countable models, the isomorphism type of a countable model is determined by a certain sequence of invariants of the model. In particular, we confirm Vaught's conjecture for binary, stationarily ordered theories. | en |
dc.publisher | Elsevier | - |
dc.relation | Representations of logical structures and formal languages and their application in computing | - |
dc.relation | Algebraic, logical and combinatorial methods with applications in theoretical computer science | - |
dc.relation | Narodowe Centrum Nauki, Grant no. 2016/22/E/ST1/00450 | - |
dc.relation.ispartof | Annals of Pure and Applied Logic | en |
dc.subject | Coloured order | dp-Minimality | Shuffling relation | Stationarily ordered type | Vaught's conjecture | Weakly quasi-o-minimal theory | en |
dc.title | Stationarily ordered types and the number of countable models | en |
dc.type | Article | en |
dc.identifier.doi | 10.1016/j.apal.2019.102765 | en |
dc.identifier.scopus | 2-s2.0-85076428376 | en |
dc.contributor.affiliation | Mathematical Institute of the Serbian Academy of Sciences and Arts | - |
dc.relation.issue | 3 | en |
dc.relation.volume | 171 | en |
dc.description.rank | M21 | - |
item.grantfulltext | none | - |
item.cerifentitytype | Publications | - |
item.fulltext | No Fulltext | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.openairetype | Article | - |
crisitem.project.funder | NSF | - |
crisitem.project.projectURL | http://www.mi.sanu.ac.rs/novi_sajt/research/projects/174026e.php | - |
crisitem.project.fundingProgram | Directorate for Social, Behavioral & Economic Sciences | - |
crisitem.project.fundingProgram | Directorate for Computer & Information Science & Engineering | - |
crisitem.project.openAire | info:eu-repo/grantAgreement/NSF/Directorate for Social, Behavioral & Economic Sciences/1740267 | - |
crisitem.project.openAire | info:eu-repo/grantAgreement/NSF/Directorate for Computer & Information Science & Engineering/1740184 | - |
crisitem.author.dept | Mathematics | - |
crisitem.author.orcid | 0000-0003-0307-7508 | - |
SCOPUSTM
Citations
5
checked on Sep 8, 2024
Page view(s)
1
checked on Sep 7, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.