On the elementary theory of Hensel fields

DOI10.1016/0003-4843(76)90025-5MaRDI QIDQ4116442zbMATH OpenOpenAlexFDO

Authors 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)

Cited in

(12)

• Towards a general theory of formally p-adic fields
• Approximation properties and existential completeness for ring morphisms
• Corps et Anneaux de Rolle
• A note on definable Skolem functions
• More on definable sets of p-adic numbers
• An application of Kochen's theorem
• Élimination des quantificateurs dans des paires de corps
• Existential uniform p-adic integration and descent for integrability and largest poles
• 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
• Existential equivalence of ordered abelian groups with parameters

This page was built for publication: On the elementary theory of Hensel fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4116442)