Superstable quasi-varieties
A universal algebra \(A\) is affine if for some ring \(R\) there is a left \(R\)-module \(M\) which is defined on the underlying set of \(A\) so that \(A\) and \(M\) have the same polynomials. \(A\) is combinatorial if for every term \(\tau(\overline{x}, \overline{y})\) and every \(\overline {a}\), \(\overline {b}\), \(\overline{c}\), \(\overline{d}\), \(\overline{e}\), if \(\tau(\overline {a}, \overline {c}) = \tau(\overline {b}, \overline{d})\) then \(\tau(\overline{a}, \overline{e}) = \tau(\overline {b},\overline {e})\). The main result is the following: Every algebra \(A\) in a superstable quasi-variety without DOP weakly decomposes in a product of an affine algebra and a combinatorial algebra, in other words \(A\) is bi- interpretable with a two-sorted structure, where one sort is an affine algebra, the other sort is a combinatorial algebra, and the only non- trivial polynomials between the two sorts are certain actions of the affine sort on the combinatorial sort.
- A Structure Theorem for Strongly Abelian Varieties with Few Models
- A survey of basic stability theory, with particular emphasis on orthogonality and regular types
- Categorical Horn classes. I
- Classification of first order theories which have a structure theorem
- Classification theory and the number of non-isomorphic models.
- Dimensional order property and pairs of models
- scientific article; zbMATH DE number 4099271 (Why is no real title available?)
- scientific article; zbMATH DE number 40985 (Why is no real title available?)
- The notion of independence in categories of algebraic structures. III: Equational classes
- The structure of decidable locally finite varieties
- Vaught's Conjecture for Varieties
This page was built for publication: Superstable quasi-varieties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1337356)
