related documents Adding Multiplication to an O-minimal Expansion of the Additive Group of Real Numbers Conferences