Cancellation of Abelian groups of finite rank modulo elementary equivalence.
This is a sequel to [1]. Here we give careful attention to the difficulties of calculating Morley and U-rank of the infinite rank ω-stable theories constructed by variants of Hrushovski's methods. Sample result: For every k < ω, there is an ω-stable expansion of any algebraically closed field which has Morley rank ω × k. We include a corrected proof of the lemma in [1] establishing that the generic model is ω-saturated in the rank 2 case.
The discrete algebras over a commutative ring which can be realized as the full endomorphism algebra of a torsion-free -module have been investigated by Dugas and Göbel under the additional set-theoretic axiom of constructibility, . Many interesting results have been obtained for cotorsion-free algebras but the proofs involve rather elaborate calculations in linear algebra. Here these results are rederived in a more natural topological setting and substantial generalizations to topological...