Quantifier elimination in pairs of algebraically closed fields
type: Item
instance of: scholarly article
title: Quantifier elimination in pairs of algebraically closed fields
zbMATH Open document ID: 1267.03044
DOI: 10.1142/S179374421250003X
author: Françoise Delon
published in: Confluentes Mathematici
publication date: 2012-11-22T00:00:00Z
review text: The author gives a natural and simple language, call it \(L^f\), for quantifier elimination in proper pairs of fields \((K,L)\), \(K\subsetneq L\), specifically algebraically closed fields. The language \(L^f\) is obtained from the language of pairs of rings by adding predicates for linear disjointness over the small field, and new functions giving the linear components over the small field of the first variable with respect to the other variables. Previous languages for quantifier elimination did not use new functions. The other main result is: Dense proper pairs of algebraically closed valued fields eliminate quantifiers in the language \(L^f\) augmented with the divisibility predicate \(x\mid y\) iff the valuation of \(x\) is at most the valuation of \(y\). There is also a simple description of definable closures. The author used these results in a previous paper [Ann. Fac. Sci. Toulouse, Math. (6) 21, No. 2, 413--434 (2012; Zbl 1283.12001)] to find some \(C\)-minimal expansions of algebraically closed valued fields which are not definably complete.
reviewed by: Luc Bélair
Mathematics Subject Classification ID: 03C10
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 12J10
Mathematics Subject Classification ID: 12L12
zbMATH DE Number: 6109766
zbMATH Keywords: quantifier elimination
zbMATH Keywords: model theory of fields
zbMATH Keywords: pairs of fields
zbMATH Keywords: algebraically closed fields
zbMATH Keywords: algebraically closed valued fields
MaRDI profile type: Publication
Recommended article: Élimination des quantificateurs dans des paires de corps
Recommended article: A Formal Quantifier Elimination for Algebraically Closed Fields
Recommended article: Quantifier elimination on some pseudo-algebraically closed valued fields
Recommended article: Quantifier elimination for quasi-real closed fields
Recommended article: Q4135500
Recommended article: Q3758811
Recommended article: Q5187264
Recommended article: Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
Recommended article: SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION
Recommended article: Quantifier elimination in separably closed fields of finite imperfectness degree
description: scientific article; zbMATH DE number 6109766