Relative elimination of quantifiers for Henselian valued fields

DOI10.1016/0168-0072(91)90058-TzbMath0734.03021OpenAlexW2012472833WikidataQ127580123 ScholiaQ127580123MaRDI QIDQ810501

Serban A. Basarab

Publication date: 1991

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(91)90058-t

zbMATH Keywords

Henselian valued fieldsHenselian unramified fieldsrelative elimination of quantifiers

Mathematics Subject Classification ID

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

Related Items (19)

Integration of functions of motivic exponential class, uniform in all non-archimedean local fields of characteristic zero ⋮ Some supplements to Feferman-Vaught related to the model theory of adeles ⋮ Burden in Henselian valued fields ⋮ Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022 ⋮ Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$ ⋮ b-MINIMALITY ⋮ Quadratic forms in models of \(I\Delta_0 + \Omega_1\). II: Local equivalence ⋮ Eliminating field quantifiers in strongly dependent henselian fields ⋮ Some results of algebraic geometry over Henselian rank one valued fields ⋮ Cogalois and strongly Cogalois actions. ⋮ SOME PROPERTIES OF ANALYTIC DIFFERENCE VALUED FIELDS ⋮ An isomorphism theorem for Henselian algebraic extensions of valued fields ⋮ Proof of a conjecture of Colliot-Thélène and a Diophantine excision theorem ⋮ A P-MINIMAL STRUCTURE WITHOUT DEFINABLE SKOLEM FUNCTIONS ⋮ Model theory of adeles. I. ⋮ A closedness theorem over Henselian fields with analytic structure and its applications ⋮ Hensel minimality I ⋮ Diophantine problems over tamely ramified fields ⋮ Quantifier elimination for Henselian fields relative to additive and multiplicative congruences

Cites Work

• The rationality of the Poincaré series associated to the p-adic points on a variety
• Real closed rings. II. Model theory
• On diophantine equations over the ring of all algebraic integers
• Formally \(p\)-adic fields
• Some model theory for Henselian valued fields
• Model theory
• Elementary embeddings of fields of power series
• Diophantine problems over local fields. III: Decidable fields
• Elementary Properties of Ordered Abelian Groups
• On the elementary theory of Hensel fields
• On definable subsets of p-adic fields
• A model-theoretic transfer theorem for henselian valued fields.
• Diophantine Problems Over Local Fields I
• Decision procedures for real and p‐adic fields
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Relative elimination of quantifiers for Henselian valued fields