Diophantine problems over local fields. III: Decidable fields
From MaRDI portal
Publication:2547890
DOI10.2307/1970476zbMath0223.02050OpenAlexW2319305328WikidataQ59620427 ScholiaQ59620427MaRDI QIDQ2547890
Publication date: 1966
Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/1970476
Related Items
Corps équivalents à leur corps de séries ⋮ The Diophantine problem in the classical matrix groups ⋮ Sets Definable Over Finite Fields: Their Zeta-Functions ⋮ An application of Tarski's principle to absolute Galois groups of function fields ⋮ Embedding Henselian fields into power series ⋮ Model Theory of Analytic Functions: Some Historical Comments ⋮ On the structure of certain valued fields ⋮ Extensions of Hilbert's tenth problem ⋮ Toward a model theory for transseries ⋮ AN AX-KOCHEN-ERSHOV THEOREM FOR MONOTONE DIFFERENTIAL-HENSELIAN FIELDS ⋮ Some model theory for Henselian valued fields ⋮ Chromatic homotopy theory is asymptotically algebraic ⋮ Between the Rings $${\mathbb Z}/p^n{\mathbb Z}$$ and the Ring $${\mathbb Z}_p$$: Issues of Axiomatizability, Definability and Decidability ⋮ Variables separated equations: strikingly different roles for the branch cycle lemma and the finite simple group classification ⋮ Tarski-type problems for free associative algebras ⋮ Groups elementarily equivalent to a free 2-nilpotent group of finite rank. ⋮ On the structure of \(p\)-adic subanalytic functions and sets ⋮ Existence of optimal ultrafilters and the fundamental complexity of simple theories ⋮ Quadratic forms in models of \(I\Delta_0 + \Omega_1\). II: Local equivalence ⋮ Equations in Algebras ⋮ What does a group algebra of a free group ``know about the group? ⋮ A uniform method for proving lower bounds on the computational complexity of logical theories ⋮ Newtonian valued differential fields with arbitrary value group ⋮ Algebraic properties of separated power series ⋮ Uniform existential interpretation of arithmetic in rings of functions of positive characteristic ⋮ Computational complexity of sentences over fields ⋮ An ultrapower analogue of the Kronecker function ring ⋮ More on definable sets of p-adic numbers ⋮ Formal power series ⋮ Prototypes for definable subsets of algebraically closed valued fields ⋮ Constructible exponential functions, motivic Fourier transform and transfer principle ⋮ Calculs sur les structures de langage dénombrable ⋮ Filter quotients and non-presentable \((\infty,1)\)-toposes ⋮ On the elimination of imaginaries from certain valued fields ⋮ Hyperfields, truncated DVRs, and valued fields ⋮ Structure and transcendence degree of \(\eta_{\alpha +1}\)-fields and ultrapowers of fields ⋮ The metabelian birational -adic section conjecture for varieties ⋮ Elementary embeddings of fields of power series ⋮ An Undecidability Result for Power Series Rings of Positive Characteristic ⋮ Dimension arithmétique d'un corps ⋮ Relative decidability and definability in henselian valued fields ⋮ Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives ⋮ Hyperalgebraic primitive elements for relational algebraic and topological algebraic models ⋮ Linear problems in valued fields ⋮ Analytic cell decomposition and analytic motivic integration ⋮ Power series solutions of algebraic differential equations ⋮ Lectures on the Model Theory of Valued Fields ⋮ Hensel minimality I ⋮ An undecidability result for the asymptotic theory of \(p\)-adic fields ⋮ Relative elimination of quantifiers for Henselian valued fields
