No label defined (Q4038531)

Let \(T\) be a complete theory and \(\mathfrak C\) a monster model of \(T\). The author considers invariant closure operators on \(\mathfrak C\), that is, mappings \(J:\roman{Pow}(\mathfrak C)\to \roman{Pow}(\mathfrak C)\) such that (i) \(X\subseteq Y\) implies \(J(X)\subseteq J(Y)\), (ii) \(X\subseteq J(X)\), (iii) \(J(J(X))=J(X)\) and (iv) \(J(f(X))=f(J(X))\), for all \(X,Y\subseteq \mathfrak C\) and \(f\in \roman{Aut}(\mathfrak C)\). (An example of such a \(J\) is the algebraic closure operator.) He studies how the properties of \(T\) and its types related to stability are connected with the properties of the closure operators. As an application, a characterization of theories which are semantically similar (in the sense introduced by the author) to theories of unary predicates is given. For the entire collection see [Zbl 0746.00043].