Canonical Forms for Definable Subsets of Algebraically Closed and Real Closed Valued Fields
Holly, Jan E.
J. Symbolic Logic, Tome 60 (1995) no. 1, p. 843-860 / Harvested from Project Euclid
We present a canonical form for definable subsets of algebraically closed valued fields by means of decompositions into sets of a simple form, and do the same for definable subsets of real closed valued fields. Both cases involve discs, forming "Swiss cheeses" in the algebraically closed case, and cuts in the real closed case. As a step in the development, we give a proof for the fact that in "most" valued fields $F$, if $f(x),g(x) \in F\lbrack x\rbrack$ and $v$ is the valuation map, then the set $\{x : v(f(x)) \leq v(g(x))\}$ is a Boolean combination of discs; in fact, it is a finite union of Swiss cheeses. The development also depends on the introduction of "valued trees", which we define formally.
Publié le : 1995-09-14
Classification: 
@article{1183744809,
     author = {Holly, Jan E.},
     title = {Canonical Forms for Definable Subsets of Algebraically Closed and Real Closed Valued Fields},
     journal = {J. Symbolic Logic},
     volume = {60},
     number = {1},
     year = {1995},
     pages = { 843-860},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744809}
}
Holly, Jan E. Canonical Forms for Definable Subsets of Algebraically Closed and Real Closed Valued Fields. J. Symbolic Logic, Tome 60 (1995) no. 1, pp.  843-860. http://gdmltest.u-ga.fr/item/1183744809/