“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
Paper IPM / M / 2307  


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 are allowed, expansions of ordered
fields are ominimal if and only if all their definable subsets
are finite disjoint unions of definably connected (definable)
subset. We pay attention to how simply (in terms of the quantifier
complexity and/or usage of parameters) a definable gap in an
expansion is so. Next we prove that over parametrically definably
complete expansions of ordered fields, all onetoone definable
(with parameters) continuous functions are monotone and open.
Moreover, in both parameter and parameterfree cases again,
definably complete expansions of ordered fields satisfy definable
versions of the HeineBorel and Extreme Value theorems and also
Bounded Intersection Property for definable families of closed
bounded subsets.
Download TeX format 

back to top 