No CrossRef data available.
Article contents
Modules with regular generic types part iv
Published online by Cambridge University Press: 12 March 2014
Extract
In this paper, we continue the line of investigation undertaken in [HR], with which we assume familiarity. For a comprehensive reference we refer the reader to [P]. The authors would like to thank each other for their light spirit and good humor.
Pillay and Prest [PP, Proposition 7.10] have shown that a module M of U-rank 1 which is not totally transcendental may be decomposed as M = Ml ⊕ Mu, where Ml, ⊨ Th(M) omits the unlimited type and Mu imbeds purely into a model of the unlimited part Tu, of T = Th(M). We devote the first section of this paper to a generalization of this result to the case when T has a regular generic and m-dim(M) = 1. (Note that m-dim(M) = 0 implies M is totally transcendental, in which case a general decomposition theorem was proved by Garavaglia [G].)
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1992