Abelian Varieties over Real Closed Fields

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.