definable monotone functions in type complete ordered fields

Type complete ordered structures have been studied in [1] and [2] within many remarkable results. the main results were achieved under the additional definable completeness named dc. an ordered structure m = (m,<, . . . ) satisfies dc if every bounded above definable subset of m has a least upper bound in m. here, we study type-complete structures in which definable bounded monotone functions converge. [1] a. fornasiero, locally o-minimal structures with locally o-minimal open core, ann. pure appl. logic, 164 (2013) 211-229. [2] h. schoutens, o-minimalism, j. symbolic logic, 79 (2014) 355-409