论文信息 - Definable sets in algebraically closed valued fields: elimination of imaginaries

Definable sets in algebraically closed valued fields: elimination of imaginaries

Abstract 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.

[1] B. Poizat,et al. A Course in Model Theory: An Introduction to Contemporary Mathematical Logic , 2000 .

[2] Deirdre Haskell,et al. Cell Decompositions of C-Minimal Structures , 1994, Ann. Pure Appl. Log..

[3] A. Macintyre,et al. Elimination of Quantifiers in Algebraic Structures , 1983 .

[4] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[5] Mark Persoff. UK , 1999, EC Tax Review.

[6] R. Tennant. Algebra , 1941, Nature.

[7] Volker Weispfenning,et al. Quantifier elimination and decision procedures for valued fields , 1984 .

[8] Jan E. Holly,et al. Canonical forms for definable subsets of algebraically closed and real closed valued fields , 1995, Journal of Symbolic Logic.

[9] Jan E. Holly. Prototypes for Definable Subsets of Algebraically Closed Value Fields , 1997, J. Symb. Log..

[10] Paulo Ribenboim,et al. The theory of classical valuations , 1999 .

[11] Daniel Lascar,et al. Stability in model theory , 1990 .

[12] Dugald Macpherson,et al. On Variants of o-Minimality , 1996, Ann. Pure Appl. Log..

[13] Irving Kaplansky,et al. Maximal fields with valuations, II , 1942 .

[14] Ehud Hrushovski,et al. Model theory of difference fields , 1999 .

[15] B. Poizat. A Course in Model Theory , 2000 .

[16] Alexandre A. Ivanov,et al. Strongly Determined Types , 1999, Ann. Pure Appl. Log..