Élimination des quantificateurs dans des paires de corps
From MaRDI portal
Publication:4842632
DOI10.2307/2275850zbMath0832.03023OpenAlexW2110749086MaRDI QIDQ4842632
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
completenessquantifier eliminationalgebraically closed fieldmodel completenesspairs of real closed fieldsextensions of isomorphisms between countable substructurespairs of henselian fields
Model-theoretic algebra (03C60) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)
Cites Work
This page was built for publication: Élimination des quantificateurs dans des paires de corps