Locally finite weakly minimal theories

https://doi.org/10.1016/0168-0072(91)90006-8Get rights and content
Under an Elsevier user license
open archive

Abstract

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(M), there is a finite Gp(M) such that acl(F)∩p(M)  ∪gϵGacl({g})∩pM; however, we cannot always choose GF. Then there are formulas θ(x) and E(x, y) so that θϵp and for any M[boxvR]T, E defines an equivalence relation with finite classes on θ(M)/E definably inherits the structure of either a projective or affine space over some finite field. We then specify what other structure θ(M)/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.

Cited by (0)