Recursion theory and ordered groups (Q1093630)

This paper studies the effective content of the theory of ordered groups; and in particular the interplay between abstract and classical orderings. For example, it is shown that there are recursive abelian groups isomorphic to \(\oplus_{\omega}Z\) (and so classically orderable) whose only recursively orderable subgroups are finitely generated. Extensions of orders in ordered groups are analysed.