Relative decidability and definability in Henselian valued fields

DOI10.2178/JSL/1318338847zbMATH Open1237.03022arXiv0910.2682OpenAlexW2962846764MaRDI QIDQ3107352FDOQ3107352

Authors: Joseph Flenner 

Publication date: 23 December 2011

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

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.

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

Recommendations

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

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)

Cites Work

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

Cited In (16)

• Topological fields with a generic derivation
• Relative elimination of quantifiers for Henselian valued fields
• A Pila-Wilkie theorem for Hensel minimal curves
• Title not available (Why is that?)
• HENSELIAN VALUED FIELDS AND inp-MINIMALITY
• A P-MINIMAL STRUCTURE WITHOUT DEFINABLE SKOLEM FUNCTIONS
• Non-Archimedean Whitney stratifications
• Henselianity and the Denef-Pas language
• Integration of functions of motivic exponential class, uniform in all non-archimedean local fields of characteristic zero
• Diophantine problems over tamely ramified fields
• Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$
• Title not available (Why is that?)
• Burden in Henselian valued fields
• 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

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)