Look at LinkKist and Leestma - Additive semigroups of positive real numbers. It would seem in some sense to answer the question.
Glorfindel
- 2.8k
- 6
- 28
- 38