Diophantine problems over local fields. III: Decidable fields

Cited in

(54)

Newtonian valued differential fields with arbitrary value group
On the structure of certain valued fields
Sets Definable Over Finite Fields: Their Zeta-Functions
More on definable sets of p-adic numbers
Relative decidability and definability in Henselian valued fields
Relative elimination of quantifiers for Henselian valued fields
Constructible exponential functions, motivic Fourier transform and transfer principle
Toward a model theory for transseries
Analytic Ax-Kochen-Ersov theory with lifts of the residue field and value group
Variables separated equations: strikingly different roles for the branch cycle lemma and the finite simple group classification
Model theory of analytic functions: some historical comments
Calculs sur les structures de langage dénombrable
Uniform existential interpretation of arithmetic in rings of functions of positive characteristic
Analytic cell decomposition and analytic motivic integration
An application of Tarski's principle to absolute Galois groups of function fields
A uniform method for proving lower bounds on the computational complexity of logical theories
Groups elementarily equivalent to a free 2-nilpotent group of finite rank.
Lectures on the model theory of valued fields
An Undecidability Result for Power Series Rings of Positive Characteristic
Extensions of Hilbert's tenth problem
An undecidability result for the asymptotic theory of $p$-adic fields
Equations in algebras
Between the Rings $${\mathbb Z}/p^n{\mathbb Z}$$ and the Ring $${\mathbb Z}_p$$: Issues of Axiomatizability, Definability and Decidability
Corps équivalents à leur corps de séries
Embedding Henselian fields into power series
An ultrapower analogue of the Kronecker function ring
Filter quotients and non-presentable $(\infty,1)$-toposes
Structure and transcendence degree of $\eta_{\alpha +1}$-fields and ultrapowers of fields
Chromatic homotopy theory is asymptotically algebraic
An Ax-Kochen-Ershov theorem for monotone differential-Henselian fields
The $\mathbb{Z}/p$ metabelian birational $p$-adic section conjecture for varieties
Hensel minimality I
Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives
Model completeness for finitely ramified Henselian fields valued in a $\mathbb{Z}$-group and for pseudo-algebraically closed fields
Quadratic forms in models of $I\Delta_0 + \Omega_1$. II: Local equivalence
Valued fields with a total residue map
On the elimination of imaginaries from certain valued fields
Dimension arithmétique d'un corps
Linear problems in valued fields
Existence of optimal ultrafilters and the fundamental complexity of simple theories
Formal power series
On the structure of $p$-adic subanalytic functions and sets
Hensel minimality: geometric criteria for $\ell$-h-minimality
Computational complexity of sentences over fields
Tarski-type problems for free associative algebras
The Diophantine problem in the classical matrix groups
Prototypes for definable subsets of algebraically closed valued fields
Hyperfields, truncated DVRs, and valued fields
What does a group algebra of a free group ``know about the group?
Algebraic properties of separated power series
Some model theory for Henselian valued fields
Hyperalgebraic primitive elements for relational algebraic and topological algebraic models
Power series solutions of algebraic differential equations
Elementary embeddings of fields of power series

This page was built for publication: Diophantine problems over local fields. III: Decidable fields

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