scientific article; zbMATH DE number 175643
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].
- scientific article; zbMATH DE number 1058172
- scientific article; zbMATH DE number 3902629
- Closed sets and chain conditions in stable theories
- scientific article; zbMATH DE number 6287647
- On decidability of the theory with the transitive closure operator
- On Closure Operators, the Reals, and Choice
- On closure ordinals for the modal -calculus
- On the succinctness of closure operator representations
- On the closure of relational models
- Relative e-spectra and relative closures for families of theories
- On the closure properties of the class of full G-models of a deductive system
- On decidability of the theory with the transitive closure operator
- scientific article; zbMATH DE number 3981156 (Why is no real title available?)
- On the closure of relational models
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4038531)
