Characterizing an \(\aleph_\varepsilon\)-saturated model of superstable NDOP theories by its \(\mathbb{L}_{\infty, \aleph_\varepsilon}\)-theory (Q1885531)

Let \(T\) be a countable superstable theory without the dimension order property. As the author proved earlier [Classification theory and the number of non-isomorphic models, Amsterdam: North-Holland (1990; Zbl 0713.03013)], any \(\aleph_\epsilon\)-saturated model of \(T\) is \(\aleph_\epsilon\)-prime over a non-forking tree of ``small'' models and its isomorphism type can be characterized by appropriate cardinal invariants. In the paper under review he goes ``one step further by providing cardinal invariants which are as finitary as seem reasonable''. He shows that the theory of an \(\aleph_\epsilon\)-saturated model of \(T\) in a certain logic (which is called \({\mathbb L}_{\infty,\aleph_\epsilon}\) with dimensional quantifiers) characterizes the model up to isomorphism. This means that two \(\aleph_\epsilon\)-saturated models \(M\) and \(N\) of \(T\) are isomorphic iff there is a non-empty family \(\mathcal F\) of elementary maps from \(M\) to \(N\) such that (1) for any \(f\in\mathcal F\) there is a finite \(A\subset M\) with \(\text{dom}(f)=\text{acl}(A)\); (2) for any finite \(A\subset M\) and \(B\subset N\), every \(f\in\mathcal F\) extends to \(g\in\mathcal F\) such that \(\text{acl}(A)\subseteq\text{dom}(g)\) and \(\text{acl}(B)\subseteq\text{rng}(g)\); (3) if \(f\cup\{(a,b)\}\in\mathcal F\) and \(\text{tp}(a/\text{dom}(f))\) is stationary and regular then \(\text{dim}_M\{a': f\cup\{(a',b)\}\in\mathcal F\}= \text{dim}_N\{b': f\cup\{(a,b')\}\in\mathcal F\}\).