Quantifier elimination on some pseudo-algebraically closed valued fields
نویسندگان
چکیده
Adjoining to the language of rings function symbols for splitting coefficients, relative $p$-coordinate functions, and division predicate a valuation, some theories pseudo-algebraically closed non-trivially valued fields admit quantifier elimination. It is also shown that in same theory given exponent imperfection does not elimination, due Galois theoretic obstructions.
منابع مشابه
Definability and Fast Quantifier Elimination in Algebraically Closed Fields
The Bezout-Inequality, an afine version (not in&ding multiplicities) of the classical Bezout-Theorem is derived for applications in algebraic complexity theory. Upper hounds for the cardinality and number of sets definable by first order formulas over algebraically closed fields are given. This is used for fast quantifier elimination in algebraically closed fields.
متن کاملQuantifier elimination for the theory of algebraically closed valued fields with analytic structure
The theory of algebraically closed non-Archimedean valued fields is proved to eliminate quantifiers in an analytic language similar to the one used by Cluckers, Lipshitz and Robinson. The proof makes use of a uniform parameterized normalization theorem which is also proved in this paper and which has far reaching consequences in the geometry of definable sets. This method of proving quantifier ...
متن کاملDefinable sets in algebraically closed valued fields: elimination of imaginaries
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 K of certain definable R-submodules of K (for all n ≥ 1). 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 definabl...
متن کاملOn Pseudo Algebraically Closed Extensions of Fields
The notion of ‘Pseudo Algebraically Closed (PAC) extensions’ is a generalization of the classical notion of PAC fields. In this work we develop a basic machinery to study PAC extensions. This machinery is based on a generalization of embedding problems to field extensions. The main goal is to prove that the Galois closure of any proper separable algebraic PAC extension is its separable closure....
متن کاملImaginaries in algebraically closed valued fields
These notes are intended to accompany the tutorial series ‘Model theory of algebraically closed valued fields’ in the Workshop ‘An introduction to recent applications of model theory’, Cambridge March 29–April 8, 2005. They do not contain any new results, except for a slightly new method of exposition, due to Lippel, of parts of the proof of elimination of imaginaries, in Sections 8 and 9. They...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2023
ISSN: ['0168-0072', '1873-2461']
DOI: https://doi.org/10.1016/j.apal.2022.103170