The purpose of this paper is
to develop the theory of abelian p-groups along constructive lines. To this end a
constructive theory of ordinal numbers and an axiomatic treatment of the notion of
height are presented. The classical theorems of Zippin and Ulm concerning existence
and uniqueness of countable p-groups with prescribed invariants are proved in a
finitistic setting.