No label defined (Q4038530)

The author classifies the strongly minimal structures in which \(\text{acl} (X)= \text{dcl} (X)\), for every set \(X\). There are three classical examples of such structures: (1) \(\langle A,g,c\): \(g\in G\), \(c\in C\rangle\), where \(C\) is a subset of \(A\), and \(G\) is a group of permutations of \(A\) such that the set of fixed points of any non-identity permutation in \(G\) is \(C\); (2) a vector space (over a skew field) with distinguished elements from some subspace; (3) an affine space (over a skew field) with distinguished translations from some subspace of the vector space of translations. A structure is said to be Urbanik if it is definitionally equivalent up to definable elements to an algebra of one of these three types. (Two structures are said to be definitionally equivalent up to definable elements if expanding them by all 0-definable relations and then removing all definable elements yields the same structure.) The term is after \textit{K. Urbanik} [Fundam. Math. 52, 291-317 (1963; Zbl 0116.013)], who classified the so-called \(v^*\)-algebras of dimension at least 3 as the algebras of the three types. The author calls strongly minimal structures with \(\text{acl}= \text{dcl}\) quasi-Urbanik and proves that they are exactly the Urbanik structures. The proof follows the line of the famous author's proof of the classification theorem for countably categorical strongly minimal structures [Sib. Mat. Zh. 25, No. 3(145), 71-88 (1984; Zbl 0581.03022) and ibid. 25, No. 4(146), 63-77 (1984; Zbl 0599.03031)]. \{Reviewer's remark: The paper under review had been accepted for publication in 1985 but was published only in 1989, for technical reasons. In his subsequent paper ``Hereditarily transitive groups and quasi-Urbanik structures'' (Russian) [Tr. Inst. Mat. 8, 58-77 (1988; Zbl 0692.20002)] the author proved more general results. Other generalizations were suggested by E. Hrushovski\}. For the entire collection see [Zbl 0746.00043].