LOCALLY CONSTANT FUNCTIONS IN C-MINIMAL STRUCTURES
AbstractLet M be a C-minimal structure and T its canonical tree (which corresponds in an ultrametric space to the set of closed balls with radius different than ∞ ordered by inclusion). We present a description of definable locally constant functions f : M → T in C-minimal structures having a canonical tree with infinitely many branches at each node and densely ordered branches. This provides both a description of definable subsets of T in one variable and analogues of known results in algebraically closed valued fields.
Keyword(s):
Keyword(s):
1985 ◽
Vol 260
(24)
◽
pp. 13294-13303
◽
1991 ◽
Vol 42
(3)
◽
pp. 351-354
◽