Lou van den Dries - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2013

Toward a Model Theory for TransseriesMatthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven. ndjfl, 54(3-4):279-310, 2013. [doi]

2011

Invariant measures on groups satisfying various chain conditionsVinicius Cifú Lopes, Lou van den Dries. JSYML, 76(1):209-226, 2011. [doi]

2010

Division rings whose vector spaces are pseudofiniteVinicius Cifú Lopes, Lou van den Dries. JSYML, 75(3):1087-1090, 2010. [doi]

2009

Arithmetic complexityLou van den Dries, Yiannis N. Moschovakis. tocl, 10(1), 2009. [doi]

2004

Is the Euclidean algorithm optimal among its peers?Lou van den Dries, Yiannis N. Moschovakis. bsl, 10(3):390-418, 2004. [doi]

2003

The laws of integer divisibility, and solution sets of linear divisibility conditionsLou van den Dries, A. J. Wilkie. JSYML, 68(2):503-526, 2003.

Generating the Greatest Common Divisor, and Limitations of Primitive Recursive AlgorithmsLou van den Dries. focm, 3(3):297-324, 2003. [doi]

2001

Logarithmic-exponential seriesLou van den Dries, Angus Macintyre, David Marker. APAL, 111(1-2):61-113, 2001.

1998

Correction to T-Convexity and Tame Extensions II Lou van den Dries. JSYML, 63(4):1597, 1998.

1997

T-Convexity and Tame Extensions IILou van den Dries. JSYML, 62(1):14-34, 1997.

1995

T-Convexity and Tame ExtensionsLou van den Dries, Adam H. Lewenberg. JSYML, 60(1):74-102, 1995.

1992

Quantifier Elimination for Modules with Scalar VariablesLou van den Dries, Jan Holly. APAL, 57(2):161-179, 1992.

1989

Definable Equivalence Relations on Algebraically Closed FieldsLou van den Dries, David Marker, Gary Martin. JSYML, 54(3):928-935, 1989.

Dimension of Definable Sets, Algebraic Boundedness and Henselian FieldsLou van den Dries. APAL, 45(2):189-209, 1989.

1988

On the Structure of Semialgebraic Sets Over p-Adic FieldsPhilip Scowcroft, Lou van den Dries. JSYML, 53(4):1138-1164, 1988.

Alfred Tarski s Elimination Theory for Real Closed FieldsLou van den Dries. JSYML, 53(1):7-19, 1988.

On the Elementary Theory of Restricted Elementary FunctionsLou van den Dries. JSYML, 53(3):796-808, 1988.

1987

An application of tarskis principle to absolute Galois groups of function fieldsLou van den Dries, Paulo Ribenboim. APAL, 33:83-107, 1987. [doi]

1985

Decidable Regularly Closed Fields of Algebraic NumbersLou van den Dries, Rick L. Smith. JSYML, 50(2):468-475, 1985.

1984

Algebraic Theories with Definable Skolem FunctionsLou van den Dries. JSYML, 49(2):625-629, 1984.

Sign in or sign up to see more results.

runs on WebDSL