 Theory of nontrivial torsion-free divisible Abelian groups

This first-order theory has as models the nonzero torsion-free divisible Abelian groups. Rational division equips them with the structure of vector spaces over the rational numbers. A rational divisible hull gives an algebraically prime extension of each nonzero torsion-free base, while the zero base uses a one-dimensional rational space.