Élimination des quantificateurs dans des paires de corps

DOI10.2307/2275850zbMath0832.03023OpenAlexW2110749086MaRDI QIDQ4842632

Gerard Leloup

Publication date: 28 September 1995

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275850

zbMATH Keywords

completenessquantifier eliminationalgebraically closed fieldmodel completenesspairs of real closed fieldsextensions of isomorphisms between countable substructurespairs of henselian fields

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Elimination of quantifiers in algebraic structures
• Complete theories of algebraically closed fields with distinguished subfields
• On the elementary theory of Hensel fields

This page was built for publication: Élimination des quantificateurs dans des paires de corps