论文部分内容阅读
In 1980 F. Wattenberg constructed the Dedekind completion *Rd of the Robinson non-archimedean field *R and established basic algebraic properties of *Rd. In 1985 H. Gonshor established further fundamental properties of *Rd. In [4] important construction o