Pages that link to "Item:Q5510996"

The following pages link to Diophantine Problems Over Local Fields I (Q5510996):

Displaying 50 items.

• The algebra and model theory of tame valued fields (Q323734) (← links)
• A conjecture concerning determinism, reduction, and measurement in quantum mechanics (Q344016) (← links)
• Toward a model theory for transseries (Q372613) (← links)
• Nonsingular points on hypersurfaces over \(\mathbb F_q\) (Q393226) (← links)
• Faster \(p\)-adic feasibility for certain multivariate sparse polynomials (Q412210) (← links)
• Groups elementarily equivalent to a free 2-nilpotent group of finite rank. (Q431679) (← links)
• Quadratic forms in models of \(I\Delta_0 + \Omega_1\). II: Local equivalence (Q639651) (← links)
• Ultraproducts and approximation in local rings. I (Q754266) (← links)
• Structure and transcendence degree of \(\eta_{\alpha +1}\)-fields and ultrapowers of fields (Q754918) (← links)
• Elimination of quantifiers in algebraic structures (Q787962) (← links)
• The rationality of the Poincaré series associated to the p-adic points on a variety (Q792384) (← links)
• Linear spaces on the intersection of cubic hypersurfaces (Q798353) (← links)
• Relative elimination of quantifiers for Henselian valued fields (Q810501) (← links)
• Zeros of \(p\)-adic forms (Q838450) (← links)
• Embedding Henselian fields into power series (Q853908) (← links)
• Existence of optimal ultrafilters and the fundamental complexity of simple theories (Q908076) (← links)
• Simultaneous diagonal equations over certain \(p\)-adic fields (Q921033) (← links)
• Computational complexity of sentences over fields (Q937294) (← links)
• Constructible exponential functions, motivic Fourier transform and transfer principle (Q974061) (← links)
• \(u\)-invariants for forms of higher degree (Q1004604) (← links)
• Essential self-adjointness: implications for determinism and the classical-quantum correspondence (Q1036051) (← links)
• Immediate and purely wild extensions of valued fields (Q1076077) (← links)
• The Hilbert-Kamke problem in analytic number theory (Q1089375) (← links)
• Some model theory for Henselian valued fields (Q1134757) (← links)
• What does logic have to tell us about mathematical proofs? (Q1135835) (← links)
• Conjugacy problem for sets of integral matrices (Q1136799) (← links)
• Simultaneous p-adic zeros of quadratic forms (Q1138015) (← links)
• Towards a general theory of formally p-adic fields (Q1147758) (← links)
• Approximation properties and existential completeness for ring morphisms (Q1158215) (← links)
• A problem of equality for Galois cohomology (Q1163648) (← links)
• Analytic methods in the theory of systems of Diophantine equations and inequalities with a large number of unknowns (Q1245863) (← links)
• Vive la différence. II: The Ax-Kochen isomorphism theorem (Q1320039) (← links)
• Mixed characteristic homological theorems in low degrees. (Q1408110) (← links)
• Linear problems in valued fields (Q1582303) (← links)
• A note on noncrossed products (Q1843626) (← links)
• On the structure of \(p\)-adic subanalytic functions and sets (Q1948556) (← links)
• Integrability of oscillatory functions on local fields: transfer principles (Q2017077) (← links)
• An Erdős-Kac law for local solubility in families of varieties (Q2036432) (← links)
• Filter quotients and non-presentable \((\infty,1)\)-toposes (Q2040521) (← links)
• Model theory of adeles. I. (Q2067515) (← links)
• An undecidability result for the asymptotic theory of \(p\)-adic fields (Q2105093) (← links)
• Diophantine problems over tamely ramified fields (Q2109050) (← links)
• Existential decidability for addition and divisibility in holomorphy subrings of global fields (Q2167510) (← links)
• Chromatic homotopy theory is asymptotically algebraic (Q2187247) (← links)
• Proof of a conjecture of Colliot-Thélène and a Diophantine excision theorem (Q2278133) (← links)
• A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
• A layered algorithm for quantifier elimination from linear modular constraints (Q2363817) (← links)
• Separations of first and second order theories in bounded arithmetic (Q2388431) (← links)
• Dimension and singularity theory for local rings of finite embedding dimension (Q2437608) (← links)
• Uniform existential interpretation of arithmetic in rings of functions of positive characteristic (Q2449847) (← links)