Asymmetric regular types

DOI10.1016/J.APAL.2014.09.003zbMATH Open1372.03065arXiv1312.0222OpenAlexW2048096581MaRDI QIDQ476113FDOQ476113

Authors: Slavko Moconja, Predrag Tanović

Publication date: 28 November 2014

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Abstract: We study asymmetric regular types. If

f r a k p

is regular and

A

-asymmetric then there exists a strict order such that Morley sequences in

f r a k p

over

A

are strictly increasing (we allow Morley sequences to be indexed by elements of a linear order). We prove that for all

M s u p s e t e q A

maximal Morley sequences in

f r a k p

over

A

consisting of elements of

M

have the same (linear) order type, denoted by

I n v_{f r a k p, A} (M)

, which does not depend on the particular choice of the order witnessing the asymmetric regularity. In the countable case we determine all possibilities for

I n v_{f r a k p, A} (M)

: either it can be any countable linear order, or in any

M s u p s e t e q A

it is a dense linear order (provided that it has at least two elements). Then we study relationship between

I n v_{f r a k p, A} (M)

and

I n v_{f r a k q, A} (M)

when

f r a k p

and

f r a k q

are strongly regular,

A

-asymmetric, and such that

f r a k p_{s t r o k A}

and

f r a k q_{s t r o k A}

are not weakly orthogonal. We distinguish two kinds on non-orthogonality: bounded and unbounded. In the bounded case we prove that

I n v_{f r a k p, A} (M)

and

I n v_{f r a k q, A} (M)

are either isomorphic or anti-isomorphic. In the unbounded case,

I n v_{f r a k p, A} (M)

and

I n v_{f r a k q, 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.

Full work available at URL: https://arxiv.org/abs/1312.0222

Recommendations

zbMATH Keywords

linear order global type complete theory invariant type Morley sequence regular type

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Categoricity and completeness of theories (03C35) Model theory of ordered structures; o-minimality (03C64) Model theory of denumerable and separable structures (03C15)

Cites Work

Cited In (3)

This page was built for publication: Asymmetric regular types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q476113)