\(P\)-combinations of ordered theories (Q2207023)

Recall that a first-order theory is Ehrenfeucht if it has (up to isomorphism) only finitely many countable models but more than one model. In the paper under review, \(P\)-combinations of structures and theories are considered. Criteria for Ehrenfeuchtness are given for linearly ordered disjoint countable \(P\)-combinations of \(\omega\)-categorical linearly ordered structures. In the case of pure linear orders, the theory of the \(P\)-combination of countably many copies has either continuum or \((k+2)^m (k^2+3k+2)^s\) countable models for some \(k\ge 1\), \(m,s \ge 0\) with \(m^2+s^2\neq 0\). Also some criteria for the preservation of quite o-minimality in a linearly ordered disjoint countable \(P\)-combination of some \(\omega\)-categorical quite o-minimal structures are given.