Concepedia

Relative elimination of quantifiers for Henselian valued fields

Şerban A. Basarab

Annals of Pure and Applied Logic · 1991 · 46 citations · 13 references

DOI

Concepts

References

13

Diophantine Problems Over Local Fields I

James Ax, Simon Kochen · American Journal of Mathematics · 1965 · 285 citations

, , +4

The rationality of the Poincar� series associated to thep-adic points on a variety

Jan Denef · Inventiones mathematicae · 1984 · 248 citations

, , +7

Decision procedures for real and <i>p</i>‐adic fields

Paul J. Cohen · Communications on Pure and Applied Mathematics · 1969 · 213 citations

, , +8

On definable subsets of <i>p</i>-adic fields

Angus Macintyre · Journal of Symbolic Logic · 1976 · 172 citations

, , +7

Diophantine Problems Over Local Fields: III. Decidable Fields

James Ax, Simon Kochen · Annals of Mathematics · 1966 · 145 citations

, , +11