Portal de Periódicos da CAPES

Definable sets in algebraically closed valued fields: elimination of imaginaries

2006; De Gruyter; Volume: 2006; Issue: 597 Linguagem: Inglês

10.1515/crelle.2006.066

1435-5345

Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson,

Mathematical and Theoretical Analysis

It is shown that if K is an algebraically closed valued field with valuation ring R, then Th(K) has elimination of imaginaries if sorts are added whose elements are certain cosets in Kn of certain definable R-submodules of Kn (for all ). The proof involves the development of a theory of independence for unary types, which play the role of 1-types, followed by an analysis of germs of definable functions from unary sets to the sorts.