Prototypes for definable subsets of algebraically closed valued fields

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

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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2275629
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 44,327
Through your library

References found in this work BETA

Cell Decompositions of C-Minimal Structures.Deirdre Haskell & Dugald Macpherson - 1994 - Annals of Pure and Applied Logic 66 (2):113-162.
Complete Theories.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):172-174.

Add more references

Citations of this work BETA

No citations found.

Add more citations

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 index

Total views
221 ( #31,297 of 2,271,478 )

Recent downloads (6 months)
5 ( #265,242 of 2,271,478 )

How can I increase my downloads?


My notes

Sign in to use this feature