Prototypes for Definable Subsets of Algebraically Closed Valued Fields
Holly, Jan E.
J. Symbolic Logic, Tome 62 (1997) no. 1, p. 1093-1141 / Harvested from Project Euclid
Elimination of imaginaries for 1-variable definable equivalence relations is proved for a theory of algebraically closed valued fields with new sorts for the disc spaces. The proof is constructive, and is based upon a new framework for proving elimination of imaginaries, in terms of prototypes which form a canonical family of formulas for defining each set that is definable with parameters. The proof also depends upon the formal development of the tree-like structure of valued fields, in terms of valued trees, and a decomposition of valued trees which is used in the coding of certain sets of discs.
Publié le : 1997-12-14
Classification: 
@article{1183745368,
     author = {Holly, Jan E.},
     title = {Prototypes for Definable Subsets of Algebraically Closed Valued Fields},
     journal = {J. Symbolic Logic},
     volume = {62},
     number = {1},
     year = {1997},
     pages = { 1093-1141},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745368}
}
Holly, Jan E. Prototypes for Definable Subsets of Algebraically Closed Valued Fields. J. Symbolic Logic, Tome 62 (1997) no. 1, pp.  1093-1141. http://gdmltest.u-ga.fr/item/1183745368/