  In this paper, we classify the possible group structures on the set of
$R$-valued points of an abelian variety, where $R$ is any real closed field. We
make use of a family of abelian varieties that, in effect, allows one to
quantify over all abelian varieties of a fixed dimension and degree of
polarization in a first-order fashion.
