Reed Solomon PI<sup>1</sup><sub>1</sub>-CA<sub>0</sub> and Order Types of Countable Ordered Groups. 192-206 2001 66 J. Symb. Log. 1 db/journals/jsyml/jsyml66.html#Solomon01