Expansions of ordered fields without def
β
Jafar S. Eivazloo; Mojtaba Moniri
π
Article
π
2003
π
John Wiley and Sons
π
English
β 219 KB
## Abstract In this paper we are concerned with definably, with or without parameters, (Dedekind) complete expansions of ordered fields, i. e. those with no definable gaps. We present several axiomatizations, like being definably connected, in each of the two cases. As a corollary, when parameters