The following pages link to L. P. D. van den Dries (Q1812782):
Displaying 50 items.
- Definable Sets in Mann Pairs (Q3098164) (← links)
- The laws of integer divisibility, and solution sets of linear divisibility conditions (Q3160551) (← links)
- On Skolem's Exponential Functions Below 2 2 x (Q3220575) (← links)
- (Q3324077) (← links)
- The Absolute Galois Group of a Rational Function Field in Characteristic Zero is a Semi-Direct Product (Q3340957) (← links)
- (Q3353312) (← links)
- Locally Compact Contractive Local Groups (Q3408253) (← links)
- On the elementary theory of restricted elementary functions (Q3475258) (← links)
- (Q3481833) (← links)
- Convergent Series Expansions of a New Type for Exponential Functions (Q3491704) (← links)
- Isomorphism of complete local noetherian rings and strong approximation (Q3533858) (← links)
- Mann pairs (Q3559024) (← links)
- (Q3658100) (← links)
- Decidable regularly closed fields of algebraic numbers (Q3693589) (← links)
- (Q3710508) (← links)
- Algebraic theories with definable Skolem functions (Q3727972) (← links)
- Analytic Hardy Fields and Exponential Curves in the Real Plane (Q3729201) (← links)
- A generalization of the Tarski-Seidenberg theorem, and some nondefinability results (Q3752365) (← links)
- A Completeness Theorem for Trigonometric Identities and Various Results on Exponential Functions (Q3755429) (← links)
- (Q3788108) (← links)
- Alfred Tarski's elimination theory for real closed fields (Q3795644) (← links)
- Elimination theory for the ring of algebraic integers. (Q3808206) (← links)
- (Q3837729) (← links)
- (Q3840696) (← links)
- (Q3861504) (← links)
- (Q3901517) (← links)
- (Q3910626) (← links)
- Which Curves Over Z have Points with Coordinates in a Discrete Ordered Ring? (Q3915074) (← links)
- Decidability and undecidability theorems for PAC-fields (Q3918210) (← links)
- (Q3936723) (← links)
- (Q3988353) (← links)
- (Q4026915) (← links)
- Artin-Schreier theory for commutative regular rings (Q4154668) (← links)
- New Decidable Fields of Algebraic Numbers (Q4179101) (← links)
- A Linearly Ordered Ring whose Theory Admits Elimination of Quantifiers is a Real Closed Field (Q4180416) (← links)
- The real field with convergent generalized power series (Q4211151) (← links)
- Correction to “<i>T</i>-convexity and tame extensions II” (Q4254701) (← links)
- One-Dimensional <i>p</i> -Adic Subanalytic Sets (Q4265419) (← links)
- <i>T</i>-convexity and tame extensions II (Q4338311) (← links)
- (Q4392286) (← links)
- Logarithmic-Exponential Power Series (Q4399225) (← links)
- (Q4513930) (← links)
- Images of Additive Polynomials in 𝔽<i><sub>q</sub></i>((<i>t</i>)) Have the Optimal Approximation Property (Q4547562) (← links)
- Maximal immediate extensions of valued differential fields (Q4583434) (← links)
- Homogeneous universal $H$-fields (Q4630672) (← links)
- Dimension in the realm of transseries (Q4635356) (← links)
- Is the Euclidean Algorithm Optimal Among its Peers? (Q4678946) (← links)
- On the integer zeros of exponential polynomials (Q4711216) (← links)
- (Q4724607) (← links)
- Elementary equivalence and the commutator subgroup (Q4739891) (← links)
