Relative decidability and definability in Henselian valued fields

DOI10.2178/JSL/1318338847MaRDI QIDQ3107352zbMATH OpenOpenAlexFDO

Authors Joseph Flenner

Publication date 23 December 2011

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0910.2682

zbMATH Keywords

decidabilityHenselian valued fieldquantifier eliminationelimination of imaginariesleading term structure

Mathematics Subject Classification ID

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

Abstract: Let K be a henselian valued field of characteristic 0. Then K admits a definable partition on each piece of which the leading term of a polynomial in one variable can be computed as a definable function of the leading term of a linear map. Two applications are given: first, a constructive quantifier elimination relative to the leading terms, suggesting a relative decision procedure; second, a presentation of every definable subset of K as the pullback of a definable set in the leading terms subjected to a linear translation.

Recommendations

• Henselianity and the Denef-Pas language
• scientific article; zbMATH DE number 4135926
• Relative elimination of quantifiers for Henselian valued fields
• scientific article; zbMATH DE number 57844
• On the quantifier complexity of definable canonical Henselian valuations

Cites work

• Canonical forms for definable subsets of algebraically closed and real closed valued fields
• Decision procedures for real and p‐adic fields
• Diophantine Problems Over Local Fields I
• Diophantine problems over local fields. III: Decidable fields
• Imaginaries in real closed valued fields
• Quantifier elimination for Henselian fields relative to additive and multiplicative congruences
• Stable domination and independence in algebraically closed valued fields
• b-MINIMALITY

Cited in

(16)

• Topological fields with a generic derivation
• Relative elimination of quantifiers for Henselian valued fields
• scientific article; zbMATH DE number 4135926 (Why is no real title available?)
• A Pila-Wilkie theorem for Hensel minimal curves
• Non-Archimedean Whitney stratifications
• Henselianity and the Denef-Pas language
• Diophantine problems over tamely ramified fields
• Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$
• Henselian valued fields and inp-minimality
• scientific article; zbMATH DE number 2020241 (Why is no real title available?)
• Burden in Henselian valued fields
• A \(p\)-minimal structure without definable Skolem functions
• Hensel minimality I
• Distality in valued fields and related structures
• Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022
• Integration of functions of motivic exponential class, uniform in all non-Archimedean local fields of characteristic zero

This page was built for publication: Relative decidability and definability in Henselian valued fields

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