Quantifier elimination in pairs of algebraically closed fields

DOI10.1142/S179374421250003XzbMath1267.03044MaRDI QIDQ1759771

Françoise Delon

Publication date: 22 November 2012

Published in: Confluentes Mathematici (Search for Journal in Brave)

zbMATH Keywords

quantifier eliminationalgebraically closed valued fieldsmodel theory of fieldsalgebraically closed fieldspairs of fields

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10) Valued fields (12J10)

Related Items (5)

\(C\)-minimal fields, in honor of François Lucas ⋮ EQUATIONAL THEORIES OF FIELDS ⋮ Generic expansions by a reduct ⋮ A simple criterion ⋮ Beautiful groups

This page was built for publication: Quantifier elimination in pairs of algebraically closed fields