Prototypes for definable subsets of algebraically closed valued fields

Journal of Symbolic Logic 62 (4):1093-1141 (1997)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 76,363

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Stable Embeddedness in Algebraically Closed Valued Fields.E. Hrushovski & A. Tatarsky - 2006 - Journal of Symbolic Logic 71 (3):831 - 862.
0-D-Valued Fields.Nicolas Guzy - 2006 - Journal of Symbolic Logic 71 (2):639 - 660.
Grothendieck rings of ℤ-valued fields.Raf Cluckers & Deirdre Haskell - 2001 - Bulletin of Symbolic Logic 7 (2):262-269.
Some model theory for almost real closed fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.


Added to PP

236 (#53,019)

6 months
1 (#451,398)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Cell decompositions of C-minimal structures.Deirdre Haskell & Dugald Macpherson - 1994 - Annals of Pure and Applied Logic 66 (2):113-162.
Complete Theories.Robert L. Vaught - 1960 - Journal of Symbolic Logic 25 (2):172-174.

Add more references