719 research outputs found
A formal quantifier elimination for algebraically closed fields
The final publication is available at www.springerlink.comInternational audienceWe prove formally that the first order theory of algebraically closed fields enjoy quantifier elimination, and hence is decidable. This proof is organized in two modular parts. We first reify the first order theory of rings and prove that quantifier elimination leads to decidability. Then we implement an algorithm which constructs a quantifier free formula from any first order formula in the theory of ring. If the underlying ring is in fact an algebraically closed field, we prove that the two formulas have the same semantic. The algorithm producing the quantifier free formula is programmed in continuation passing style, which leads to both a concise program and an elegant proof of semantic correctness
Independence in computable algebra
We give a sufficient condition for an algebraic structure to have a
computable presentation with a computable basis and a computable presentation
with no computable basis. We apply the condition to differentially closed, real
closed, and difference closed fields with the relevant notions of independence.
To cover these classes of structures we introduce a new technique of safe
extensions that was not necessary for the previously known results of this
kind. We will then apply our techniques to derive new corollaries on the number
of computable presentations of these structures. The condition also implies
classical and new results on vector spaces, algebraically closed fields,
torsion-free abelian groups and Archimedean ordered abelian groups.Comment: 24 page
Imaginaries in separably closed valued fields
We show that separably closed valued fields of finite imperfection degree
(either with lambda-functions or commuting Hasse derivations) eliminate
imaginaries in the geometric language. We then use this classification of
interpretable sets to study stably dominated types in those structures. We show
that separably closed valued fields of finite imperfection degree are
metastable and that the space of stably dominated types is strict
pro-definable
- …