On the elementary theory of Hensel fields
From MaRDI portal
Publication:4116442
DOI10.1016/0003-4843(76)90025-5zbMath0347.02033OpenAlexW1967862740MaRDI QIDQ4116442
Publication date: 1976
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(76)90025-5
Related Items
Élimination des quantificateurs dans des paires de corps, Towards a general theory of formally p-adic fields, Approximation properties and existential completeness for ring morphisms, Existential equivalence of ordered abelian groups with parameters, A note on definable Skolem functions, More on definable sets of p-adic numbers, An application of Kochen's theorem, Corps et Anneaux de Rolle, The rationality of the Poincaré series associated to the p-adic points on a variety, Real closed rings. II. Model theory, Relative elimination of quantifiers for Henselian valued fields