Daniel Gluschankof The Hahn Representation Theorem for l-Groups in ZFA. 519-524 2000 65 J. Symb. Log. 2 db/journals/jsyml/jsyml65.html#Gluschankof00