Edinburgh Research Archive

Hyperarithmetical properties of relations on abelian p-groups and orderings