A model complete theory of valued D-fields

DOI10.2307/2695074zbMath0977.03021OpenAlexW2168485982MaRDI QIDQ2710606

Thomas J. Scanlon

Publication date: 9 January 2002

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

Full work available at URL: https://doi.org/10.2307/2695074

zbMATH Keywords

quantifier eliminationvaluationdifference ringdifferential ring

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 (26)

Differential-henselianity and maximality of asymptotic valued differential fields ⋮ Book review of: M. Aschenbrenner et al., Asymptotic differential algebra and model theory of transseries ⋮ On the uniqueness of maximal immediate extensions of valued differential fields ⋮ Some remarks on \(D\)-valued field ⋮ Henselian residually \(p\)-adically closed fields ⋮ Toward a model theory for transseries ⋮ AN AX-KOCHEN-ERSHOV THEOREM FOR MONOTONE DIFFERENTIAL-HENSELIAN FIELDS ⋮ Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022 ⋮ \(T\)-convex \(T\)-differential fields and their immediate extensions ⋮ Topological differential fields ⋮ Fields with automorphism and valuation ⋮ Newtonian valued differential fields with arbitrary value group ⋮ Isomonodromic differential equations and differential categories ⋮ Valued difference fields and \(\mathrm{NTP}_2\) ⋮ Jet and prolongation spaces ⋮ Imaginaries and invariant types in existentially closed valued differential fields ⋮ 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 ⋮ SOME PROPERTIES OF ANALYTIC DIFFERENCE VALUED FIELDS ⋮ DEFINABLE AND INVARIANT TYPES IN ENRICHMENTS OF NIP THEORIES ⋮ Model theory of fields with free operators in characteristic zero ⋮ Elementary theory of valued fields with a valuation-preserving automorphism ⋮ Maps on Ultrametric Spaces, Hensel's Lemma, and Differential Equations Over Valued Fields ⋮ GANZSTELLENSÄTZE IN THEORIES OF VALUED FIELDS ⋮ Approximation for Frobenius algebraic equations in Witt vectors ⋮ Lectures on the Model Theory of Valued Fields ⋮ Topological fields with a generic derivation

Cites Work

• Anneaux locaux henséliens
• Model theory of difference fields
• Diophantine Problems Over Local Fields I

This page was built for publication: A model complete theory of valued D-fields