On the elementary theory of Hensel fields

DOI10.1016/0003-4843(76)90025-5zbMath0347.02033OpenAlexW1967862740MaRDI QIDQ4116442

Volker Weispfenning

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

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Connections between field theory and logic (12L99)

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