Bounded ultraimaginary independence and its total Morley sequences (Q6574113)

The notion of model-theoretic independence is closely connected with indiscernible sequences. A central theme in neostability theory are various kinds of generic indiscernible sequences. Here, the author investigates the independence relation \(b\mathop{\smile \hskip -0.8em^| }^{\mathrm{bu}}_A a\) which holds iff \(\mathrm{bdd}^{u}(Ab) \cap \mathrm{bdd}^{u}(Ac) = \mathrm{bdd}^{u}(A)\) where \(\mathrm{bdd}(X)\) is the class of ultraimaginaries bounded over \(X\).\N\NHe shows that \(b\mathop{\smile \hskip -0.8em^| }^{\mathrm{bu}}_A c\) iff \(\operatorname{Autf}(M /Ab) \cup \operatorname{Autf}(M/Ac) =\operatorname{Autf}(M/A)\), thus sharpening a result of \textit{F. O. Wagner} [J. Math. Log. 15, No. 2, Article ID 1550008, 23 p. (2015; Zbl 1414.03005)]. He establishes full existence over hyperimaginary parameters. He studies total \(\mathop{\smile \hskip -0.8em^| }^{\mathrm{bu}}\)-Morley sequences. These are \(A\)-indiscernible sequences \(I\) satisfying \(J\mathop{\smile \hskip -0.8em^| }^{\mathrm{bu}} K\) for any \(J\) and \(K\)\Nwith \(J + K \equiv^{EM}_A I\).\N\NThe author shows that an \(A\)-indiscernible sequence \(I\) is a total \(\mathop{\smile \hskip -0.8em^| }^{\mathrm{bu}}\)-Morley sequence over \(A\) iff whenever \(I\) and \(I'\) have the same Lascar strong type over \(A\), \(I\) and \(I'\) are related by the transitive, symmetric closure of the relation ``\(J+K\) is \(A\)-indiscernible''.\N\NHe shows that for any \(A\) and \(b\) in any theory \(T\), if there is an Erdős cardinal \(\kappa(\alpha)\) with \(|Ab| + |T| < \kappa(\alpha)\), then there is a total \(\mathop{\smile \hskip -0.8em^| }^{\mathrm{bu}}\)-Morley sequence \((b_i)_{i<\omega}\) over \(A\) with \(b_0 = b\).