Quantifier elimination and minimality conditions in algebraically closed valued fields

Details Quantifier elimination and minimality conditions in algebraically closed valued fields Quantifier elimination and minimality conditions in algebraically closed valued fields

2010-06-07

arxiv.org/abs/1006.1393v1

Mathematics

Logic

submitted

Scientific paper

A Basarab-Kuhlmann style language L_RV is introduced in the Hrushovski-Kazhdan integration theory. The theory ACVF of algebraically closed valued fields formulated in this language admits quantifier elimination. In this paper, using well-known facts in the theory of valued fields, we give a straightforward proof of this fact. We also show that two expansions of ACVF, one with a section of the entire RV-sort and the other with a section of the residue field, admit quantifier elimination. Thereafter we show that, in terms of certain minimality conditions, the three theories are distinct geometrically.

Affiliated with

Also associated with

No associations

Rating

Quantifier elimination and minimality conditions in algebraically closed valued fields does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Quantifier elimination and minimality conditions in algebraically closed valued fields, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Quantifier elimination and minimality conditions in algebraically closed valued fields will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-29178