A model complete theory of valued D-fields
From MaRDI portal
Publication:2710606
DOI10.2307/2695074zbMath0977.03021MaRDI QIDQ2710606
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
03C60: Model-theoretic algebra
12L12: Model theory of fields
03C10: Quantifier elimination, model completeness, and related topics
12J10: Valued fields
Related Items
AN AX-KOCHEN-ERSHOV THEOREM FOR MONOTONE DIFFERENTIAL-HENSELIAN FIELDS, Model theory of fields with free operators in characteristic zero, Lectures on the Model Theory of Valued Fields, Newtonian valued differential fields with arbitrary value group, SOME PROPERTIES OF ANALYTIC DIFFERENCE VALUED FIELDS, DEFINABLE AND INVARIANT TYPES IN ENRICHMENTS OF NIP THEORIES, Toward a model theory for transseries, Valued difference fields and \(\mathrm{NTP}_2\), Topological differential fields, Differential-henselianity and maximality of asymptotic valued differential fields, Some remarks on \(D\)-valued field, Henselian residually \(p\)-adically closed fields, Approximation for Frobenius algebraic equations in Witt vectors, 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, Imaginaries and invariant types in existentially closed valued differential fields, Fields with automorphism and valuation, Isomonodromic differential equations and differential categories, 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10, 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, Jet and prolongation spaces
Cites Work