A module is weakly minimal if and only if every pp-definable subgroup is either finite or of finite index. We study weakly minimal modules over several classes of rings, including valuation domains, Prüfer domains and integral group rings.

Suppose T is a weakly minimal theory and p a strong 1-type having locally finite but nontrivial geometry. That is, for any M [boxvR] T and finite Fp, there is a finite Gp such that acl∩p = gεGacl∩pM; however, we cannot always choose G = F. Then there are formulas θ and E so that θεp and for any M[boxvR]T, E defines an equivalence relation with finite classes on θ/E definably inherits the structure of either a projective or affine space (...) over some finite field. We then specify what other structure θ/E may inherit: there is some collection of definable subspaces of finite codimension and some set of algebraic points, which in the affine case may be in the canonically associated vector space, Up to acl, no further structure is possible. If we assume T is weakly minimal and has a strong type p as above, and also that T is unidimensional, we obtain a global description of any model of T in terms of those structures mentioned in the previous paragraph. (shrink)

We study the infinitely definable subgroups of the additive group in a separably closed field of finite positive imperfection degree. We give some constructions of families of such subgroups which confirm the diversity and the richness of this class of groups. We show in particular that there exists a locally modular minimal subgroup such that the division ring of its quasi-endomorphisms is not a fraction field of the ring of its definable endomorphisms, and that in contrast there exist 20 pairwise (...) orthogonal locally modular minimal subgroups whose induced structure is exactly that of an-vector space. We also show that there exist infinitely many pairwise orthogonal subgroups of infinite U-rank. Furthermore, these constructions are carried out in the additive group considered as a module over its ring of definable endomorphisms. (shrink)

A reduct of a first-order structure is another structure on the same set with perhaps fewer definable predicates. We consider reducts of the complex field which are proper but nontrivial in a sense to be made precise in the paper. Our main result lists seven kinds of reducts. The list is complete in the sense that every reduct is a finite cover of one of these. We also investigate when two items on our list can be the same, in a (...) couple of natural senses. (shrink)