This talk will regard some first-order properties of ordered groups of germs of functions that are definable in an o-minimal structure. I will describe my progress toward finding a tame first-order theory of some of these groups, and give some elements of valuation theory on these ordered groups.