Lou van den Dries

If you made any changes in Pure these will be visible here soon.

Research Output

1982

Some applications of a model theoretic fact to (semi-) algebraic geometry

van den Dries, L., 1982, In : Indagationes Mathematicae (Proceedings). 85, 4, p. 397-401 5 p.

Research output: Contribution to journalArticle

Some applications of a model theoretic fact to (semi-) algebraic geometry

van den Dries, L., Dec 1 1982, In : Indagationes Mathematicae. 44, 4, p. 397-401 5 p.

Research output: Contribution to journalArticle

1981

A specialization theorem for p-adic power series converging on the closed unit disc

van den Dries, L., Dec 1981, In : Journal of Algebra. 73, 2, p. 613-623 11 p.

Research output: Contribution to journalArticle

Decidability and undecidability theorems for pac-fields

Cherlin, G., Van Den Dries, L. & Macintyre, A., Jan 1 1981, In : Bulletin of the American Mathematical Society. 4, 1, p. 101-104 4 p.

Research output: Contribution to journalArticle

Quantifier elimination for linear formulas over ordered and valued fields

van den Dries, L., 1981, In : Bull. Soc. Math. Belg. Sér. B. 33, 1, p. 19-31 13 p.

Research output: Contribution to journalArticle

Subgroups of free profinite groups and large subfields of {Mathematical expression}

Lubotzky, A. & van den Dries, L., Mar 1 1981, In : Israel Journal of Mathematics. 39, 1-2, p. 25-45 21 p.

Research output: Contribution to journalArticle

1980

Some model theory and number theory for models of weak systems of arithmetic

van den Dries, L., 1980, Model theory of algebra and arithmetic (Proc. Conf., Karpacz, 1979). Springer Berlin, Vol. 834. p. 346-362 17 p. (Lecture Notes in Math.).

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

1979

Algorithms and Bounds for Polynomial Rings

van den Dries, L., Jan 1 1979, In : Studies in Logic and the Foundations of Mathematics. 97, C, p. 147-157 11 p.

Research output: Contribution to journalArticle

Application de la théorie des modèles aux groupes de Galois de corps de fonctions

van den Dries, L. & Ribenboim, P., 1979, In : C. R. Acad. Sci. Paris Sér. A-B. 288, 17, p. A789-A792

Research output: Contribution to journalArticle

New decidable fields of algebraic numbers

Van Den Dries, L., Nov 1979, In : Proceedings of the American Mathematical Society. 77, 2, p. 251-256 6 p.

Research output: Contribution to journalArticle

Ultraproducts and approximation in local rings I

Becker, J., Denef, J., Lipshitz, L. & van den Dries, L., Jun 1 1979, In : Inventiones Mathematicae. 51, 2, p. 189-203 15 p.

Research output: Contribution to journalArticle

1977

Artin-Schreier theory for commutative regular rings

van den Dries, L., Dec 1977, In : Annals of Mathematical Logic. 12, 2, p. 113-150 38 p.

Research output: Contribution to journalArticle