Weakly minimal formulas: A global approach (Q584247)

In this paper (it is an extended version of a part of the author's Ph. D. thesis ``The structure of minimal sets and omitting types'' (Wroclaw, 1987)) the author carries out an analysis of unidimensional weakly minimal theories. After considering the basic notations and an instructive example, a dependence relation \(acl^*\) on S(\(\emptyset)\) is introduced as a modification of the dependence relation acl on a very saturated model \({\mathfrak C}\). Important properties of \(acl^*\) are described. In a theory \(T^{eq}\) there is a weakly minimal modular type \(r\in S^{eq}(\emptyset)\) for not modular types \(p,q\in S(\emptyset)\) with \(p\not\in acl^*(q)\). In the third paragraph topological properties of \(acl^*\) are investigated. The main result here is the equivalence of five conditions for a set \(R=acl^*(R)\subseteq S(\emptyset)\), which fulfills additional conditions. The fourth part deals with so-called inevitable types and omitting types. There the author gives some sufficient conditions for inevitability. Let p be inevitable for \(R\subseteq S(\emptyset)\), \(R\not\subset acl^*(\emptyset)\). Then either \(p\in acl^*(R)\) or the extension T(R) of R (R is an \(F_{\sigma}\)- subset of S(\(\emptyset))\) is \({\mathfrak c}^+\)-categorical. Using the results of the paragraphs 1-3, the author proves a structure theorem (5.1.) for \(R=acl^*(R)\subseteq S(\emptyset)\) with \(R\not\subset acl^*(\emptyset)\) and \(\dim_ R(x=x)<{\mathfrak c}\), and gives, finally (section 6), complete information on the number of models of T(R) in power \(\kappa >{\mathfrak c}\) depending on \(\dim_ R(x=x)\). This result is extended to arbitrary inessential extensions T(A) of a properly weakly minimal, unidimensional, countable but not necessarily special theory T. This paper is connected with results of \textit{S. Buechler} [J. Symb. Logic 50, 1044-1053 (1985; Zbl 0621.03019)], \textit{M. Makkai} [Isr. J. Math. 49, 181-238 (1984; Zbl 0583.03021)], and \textit{S. Shelah} [Classification theory and the number of nonisomorphic models (1978; Zbl 0388.03009)].