Bounded ultraimaginary independence and its total Morley sequences
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\).
- A course in model theory
- A geometric introduction to forking and thorn-forking
- A Guide to NIP Theories
- Combinatorial set theory: Partition relations for cardinals
- On Kim-independence
- On the category of models of a complete theory
- Plus ultra
- Separation for isometric group actions and hyperimaginary independence
- Simple unstable theories
- Simplicity theory
- Some applications of model theory in set theory
- Tree indiscernibilities, revisited
This page was built for publication: Bounded ultraimaginary independence and its total Morley sequences
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6574113)
