Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/178
Title: | Asymmetric regular types | Authors: | Moconja, Slavko Tanović, Predrag |
Affiliations: | Algebra and Mathematical Logic | Keywords: | Complete theory;Global type;Invariant type;Linear order;Morley sequence;Regular type | Issue Date: | 1-Jan-2015 | Journal: | Annals of Pure and Applied Logic | Abstract: | We study asymmetric regular global types p∈S1(C). If p is regular and A-asymmetric then there exists a strict order such that Morley sequences in p over A are strictly increasing (we allow Morley sequences to be indexed by elements of a linear order). We prove that for any small model M ⊇ A maximal Morley sequences in p over A consisting of elements of M have the same (linear) order type, denoted by Invp, A(M). In the countable case we determine all possibilities for Invp, A(M): either it can be any countable linear order, or in any M ⊇ A it is a dense linear order (provided that it has at least two elements). Then we study relationship between Invp, A(M) and Invq, A(M) when p and q are strongly regular, A-asymmetric, and such that p⊇A and q⊇A are not weakly orthogonal. We distinguish two kinds of non-orthogonality: bounded and unbounded. In the bounded case we prove that Invp, A(M) and Invq, A(M) are either isomorphic or anti-isomorphic. In the unbounded case, Invp, A(M) and Invq, A(M) may have distinct cardinalities but we prove that their Dedekind completions are either isomorphic or anti-isomorphic. We provide examples of all four situations. |
URI: | https://research.matf.bg.ac.rs/handle/123456789/178 | ISSN: | 01680072 | DOI: | 10.1016/j.apal.2014.09.003 |
Appears in Collections: | Research outputs |
Show full item record
SCOPUSTM
Citations
1
checked on Dec 18, 2024
Page view(s)
15
checked on Dec 24, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.