Citation: L. Van Den Dries et P. Speissegger, The field of reals with multisummable series and the exponential function, P LOND MATH, 81, 2000, pp. 513-565
Citation: L. Van Den Dries, On the elementary theory of rings of Witt vectors with a multiplicative set of representatives for the residue held, MANUSC MATH, 98(2), 1999, pp. 133-137