Locally constant functions in C-minimal structures
Logic
2014-10-14 v1
Abstract
Let be a -minimal structure and 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 in -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 in one variable and analogues of known results in algebraically closed valued fields.
Cite
@article{arxiv.1410.3144,
title = {Locally constant functions in C-minimal structures},
author = {Pablo Cubides Kovacsics},
journal= {arXiv preprint arXiv:1410.3144},
year = {2014}
}
Comments
15 Pages. To appear in the Journal of Symbolic Logic