Relative decidability and definability in henselian valued fields

DOI10.2178/jsl/1318338847zbMath1237.03022arXiv0910.2682OpenAlexW2962846764MaRDI QIDQ3107352

Joseph Flenner

Publication date: 23 December 2011

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

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

zbMATH Keywords

quantifier eliminationdecidabilityHenselian valued fieldelimination of imaginariesleading term structure

Mathematics Subject Classification ID

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

Related Items (11)

Integration of functions of motivic exponential class, uniform in all non-archimedean local fields of characteristic zero ⋮ Distality in valued fields and related structures ⋮ Non-Archimedean Whitney stratifications ⋮ 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 ))$ ⋮ HENSELIAN VALUED FIELDS AND inp-MINIMALITY ⋮ A P-MINIMAL STRUCTURE WITHOUT DEFINABLE SKOLEM FUNCTIONS ⋮ Hensel minimality I ⋮ Diophantine problems over tamely ramified fields ⋮ Topological fields with a generic derivation

Cites Work

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

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