Jafar S. Eivazloo Mojtaba Moniri Expansions of ordered fields without definable gaps. 72-82 2003 49 Math. Log. Q. 1 http://dx.doi.org/10.1002/malq.200310005 db/journals/mlq/mlq49.html#EivazlooM03