Diophantine Problems Over Local Fields I
From MaRDI portal
Publication:5510996
DOI10.2307/2373065zbMath0136.32805OpenAlexW3162566251WikidataQ56384909 ScholiaQ56384909MaRDI QIDQ5510996
No author found.
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 (only showing first 100 items - show all)
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
This page was built for publication: Diophantine Problems Over Local Fields I
