Diophantine Problems Over Local Fields I
From MaRDI portal
Publication:5510996
DOI10.2307/2373065zbMath0136.32805OpenAlexW3162566251WikidataQ56384909 ScholiaQ56384909MaRDI QIDQ5510996
Publication date: 1965
Published in: American Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2373065
Decidability (number-theoretic aspects) (11U05) (p)-adic and power series fields (11D88) Algebraic number theory: local fields (11Sxx) Formally (p)-adic fields (12J12)
Related Items
Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023, Characterizing NIP henselian fields, Immediate and purely wild extensions of valued fields, The Diophantine problem in the classical matrix groups, Using Ultrafilters to Prove Ramsey-type Theorems, A layered algorithm for quantifier elimination from linear modular constraints, Decision problems concerning S-arithmetic groups, The Hilbert-Kamke problem in analytic number theory, Zeros of \(p\)-adic forms, Cofinality spectrum theorems in model theory, set theory, and general topology, Nonstandard arithmetic, A transfer theorem for Henselian valued and ordered fields, The mathematical significance of proof theory, The algebra and model theory of tame valued fields, Embedding Henselian fields into power series, Separations of first and second order theories in bounded arithmetic, A conjecture concerning determinism, reduction, and measurement in quantum mechanics, Existential decidability for addition and divisibility in holomorphy subrings of global fields, On the structure of certain valued fields, Toward a model theory for transseries, Nonsingular points on hypersurfaces over \(\mathbb F_q\), Some model theory for Henselian valued fields, What does logic have to tell us about mathematical proofs?, Conjugacy problem for sets of integral matrices, Chromatic homotopy theory is asymptotically algebraic, Simultaneous p-adic zeros of quadratic forms, Between the Rings $${\mathbb Z}/p^n{\mathbb Z}$$ and the Ring $${\mathbb Z}_p$$: Issues of Axiomatizability, Definability and Decidability, Polynomiality of the faithful dimension for nilpotent groups over finite truncated valuation rings, Faster \(p\)-adic feasibility for certain multivariate sparse polynomials, Pseudo‐c‐archimedean and pseudo‐finite cyclically ordered groups, Towards a general theory of formally p-adic fields, Mixed characteristic homological theorems in low degrees., Rational points on the intersection of three quadrics, Groups elementarily equivalent to a free 2-nilpotent group of finite rank., On the structure of \(p\)-adic subanalytic functions and sets, Definable V-topologies, Henselianity and NIP, Existence of optimal ultrafilters and the fundamental complexity of simple theories, Quadratic forms in models of \(I\Delta_0 + \Omega_1\). II: Local equivalence, Approximation properties and existential completeness for ring morphisms, Dimension and singularity theory for local rings of finite embedding dimension, Pseudofinite formulae, A problem of equality for Galois cohomology, $p$-adic zeros of quintic forms, Simultaneous diagonal equations over certain \(p\)-adic fields, A model complete theory of valued D-fields, 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, Zeros of systems of 𝔭-adic quadratic forms, Formal power series, Special fibre of low degree hypersurfaces, An application of Kochen's theorem, Unnamed Item, SOME PROPERTIES OF ANALYTIC DIFFERENCE VALUED FIELDS, Verallgemeinerte formal \(\mathfrak p\)-adische Körper, Constructible exponential functions, motivic Fourier transform and transfer principle, Integrability of oscillatory functions on local fields: transfer principles, Proof of a conjecture of Colliot-Thélène and a Diophantine excision theorem, Uniform analysis on local fields and applications to orbital integrals, Arithmetic on algebraic varieties, Analytic methods in the theory of systems of Diophantine equations and inequalities with a large number of unknowns, An Erdős-Kac law for local solubility in families of varieties, Unnamed Item, Filter quotients and non-presentable \((\infty,1)\)-toposes, \(u\)-invariants for forms of higher degree, Diagonal forms of higher degree over function fields of p-adic curves, On theU-Invariant ofP-Adic Function Fields, On Artin’s conjecture: Linear slices of diagonal hypersurfaces, A.D. Taimanov and model theory in Kazakhstan, On systems of diagonal forms II, Ultraproducts and approximation in local rings. I, Structure and transcendence degree of \(\eta_{\alpha +1}\)-fields and ultrapowers of fields, Elementary embeddings of fields of power series, A CONJECTURAL CLASSIFICATION OF STRONGLY DEPENDENT FIELDS, On the theorem of Ax and Kochen, Model theory of adeles. I., On elementary theories of lattices of subgroups, Verallgemeinerte formal \(\mathfrak p\)-adische Körper, Essential self-adjointness: implications for determinism and the classical-quantum correspondence, Relative decidability and definability in henselian valued fields, Monomialization of morphisms and p-adic quantifier elimination, Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives, Groups and fields with $\operatorname {NTP}_{2}$, Hyperalgebraic primitive elements for relational algebraic and topological algebraic models, First-order topological axioms, Counting generalized orders on not necessarily formally real fields, Linear problems in valued fields, Elimination of quantifiers in algebraic structures, A note on noncrossed products, EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS, The rationality of the Poincaré series associated to the p-adic points on a variety, Lectures on the Model Theory of Valued Fields, Linear spaces on the intersection of cubic hypersurfaces, Auslander-reiten quivers of schurian orders, Hensel minimality I, An undecidability result for the asymptotic theory of \(p\)-adic fields, On systems of diagonal forms, Diophantine problems over tamely ramified fields, Relative elimination of quantifiers for Henselian valued fields, Vive la différence. II: The Ax-Kochen isomorphism theorem, Metamathematical problems
