Bhardwaj, Neer; Dries, Lou van den Analytic Ax-Kochen-Ersov theory with lifts of the residue field and value group. arXiv:2401.04094 Preprint, arXiv:2401.04094 [math.LO] (2024). MSC: 03C10 32B05 03C60 12J25 13J15 13L05 BibTeX Cite \textit{N. Bhardwaj} and \textit{L. van den Dries}, ``Analytic Ax-Kochen-Ersov theory with lifts of the residue field and value group'', Preprint, arXiv:2401.04094 [math.LO] (2024) Full Text: arXiv OA License
Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris On a differential intermediate value property. (English) Zbl 07625321 Rev. Unión Mat. Argent. 64, No. 1, 1-10 (2022). MSC: 03C64 12H99 PDFBibTeX XMLCite \textit{M. Aschenbrenner} et al., Rev. Unión Mat. Argent. 64, No. 1, 1--10 (2022; Zbl 07625321) Full Text: DOI arXiv
van den Dries, Lou Transseries, model theory, and Hardy fields. (English) Zbl 1500.12006 Notices Am. Math. Soc. 69, No. 4, 557-563 (2022). Reviewer: Luc Bélair (Montréal) MSC: 12H05 03C64 PDFBibTeX XMLCite \textit{L. van den Dries}, Notices Am. Math. Soc. 69, No. 4, 557--563 (2022; Zbl 1500.12006) Full Text: DOI
Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris Revisiting closed asymptotic couples. (English) Zbl 07556006 Proc. Edinb. Math. Soc., II. Ser. 65, No. 2, 530-555 (2022). MSC: 03C10 03C64 06F20 34E05 12H05 12J25 PDFBibTeX XMLCite \textit{M. Aschenbrenner} et al., Proc. Edinb. Math. Soc., II. Ser. 65, No. 2, 530--555 (2022; Zbl 07556006) Full Text: DOI arXiv
van den Dries, Lou; van der Hoeven, Joris; Kaplan, Elliot Logarithmic hyperseries. (English) Zbl 1494.12004 Trans. Am. Math. Soc. 372, No. 7, 5199-5241 (2019). Reviewer: Wai Yan Pong (Carson) MSC: 12H05 03C64 03C60 03C98 16W60 PDFBibTeX XMLCite \textit{L. van den Dries} et al., Trans. Am. Math. Soc. 372, No. 7, 5199--5241 (2019; Zbl 1494.12004) Full Text: DOI arXiv
Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris The surreal numbers as a universal \(H\)-field. (English) Zbl 1470.12004 J. Eur. Math. Soc. (JEMS) 21, No. 4, 1179-1199 (2019). Reviewer: Mickaël Matusinski (Bordeaux) MSC: 12J10 12H05 PDFBibTeX XMLCite \textit{M. Aschenbrenner} et al., J. Eur. Math. Soc. (JEMS) 21, No. 4, 1179--1199 (2019; Zbl 1470.12004) Full Text: DOI arXiv
van den Dries, Lou; Ehrlich, Philip Homogeneous universal \(H\)-fields. (English) Zbl 1484.03070 Proc. Am. Math. Soc. 147, No. 5, 2231-2234 (2019). MSC: 03C64 12H05 13N15 PDFBibTeX XMLCite \textit{L. van den Dries} and \textit{P. Ehrlich}, Proc. Am. Math. Soc. 147, No. 5, 2231--2234 (2019; Zbl 1484.03070) Full Text: DOI arXiv
van den Dries, Lou; Pynn-Coates, Nigel On the uniqueness of maximal immediate extensions of valued differential fields. (English) Zbl 1442.12005 J. Algebra 519, 87-100 (2019). Reviewer: Allen Gehret (Los Angeles) MSC: 12J10 12H05 PDFBibTeX XMLCite \textit{L. van den Dries} and \textit{N. Pynn-Coates}, J. Algebra 519, 87--100 (2019; Zbl 1442.12005) Full Text: DOI arXiv
Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris On numbers, germs, and transseries. (English) Zbl 1445.03044 Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 1-23 (2018). MSC: 03C64 12J15 12J20 12H05 34M15 PDFBibTeX XMLCite \textit{M. Aschenbrenner} et al., in: Proceedings of the international congress of mathematicians 2018, ICM 2018, Rio de Janeiro, Brazil, August 1--9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 1--23 (2018; Zbl 1445.03044) Full Text: DOI arXiv
Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris Maximal immediate extensions of valued differential fields. (English) Zbl 1437.12003 Proc. Lond. Math. Soc. (3) 117, No. 2, 376-406 (2018). MSC: 12H05 12J20 16W60 PDFBibTeX XMLCite \textit{M. Aschenbrenner} et al., Proc. Lond. Math. Soc. (3) 117, No. 2, 376--406 (2018; Zbl 1437.12003) Full Text: DOI arXiv
Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris Dimension in the realm of transseries. (English) Zbl 1388.12008 Broglia, Fabrizio (ed.) et al., Ordered algebraic structures and related topics. International conference at CIRM, Luminy, France, October 12–16, 2015. Proceedings. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2966-9/pbk; 978-1-4704-4222-4/ebook). Contemporary Mathematics 697, 23-39 (2017). MSC: 12H05 12J25 03C64 12J15 PDFBibTeX XMLCite \textit{M. Aschenbrenner} et al., Contemp. Math. 697, 23--39 (2017; Zbl 1388.12008) Full Text: DOI arXiv
Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris Asymptotic differential algebra and model theory of transseries. (English) Zbl 1430.12002 Annals of Mathematics Studies 195. Princeton, NJ: Princeton University Press (ISBN 978-0-691-17542-3/hbk; 978-0-691-17543-0/pbk; 978-1-4008-8541-1/ebook). xxi, 849 p. (2017). Reviewer: Mickaël Matusinski (Bordeaux) MSC: 12-02 03-02 12L12 12H05 03C64 PDFBibTeX XMLCite \textit{M. Aschenbrenner} et al., Asymptotic differential algebra and model theory of transseries. Princeton, NJ: Princeton University Press (2017; Zbl 1430.12002) Full Text: DOI arXiv
van den Dries, Lou Lectures on the model theory of valued fields. (English) Zbl 1347.03074 Macpherson, H. Dugald (ed.) et al., Model theory in algebra, analysis and arithmetic. Cetraro, Italy 2012. Lectures of the CIME course, Cetraro, Italy, 2012. Heidelberg: Springer; Florence: Fondazione CIME (ISBN 978-3-642-54935-9/pbk; 978-3-642-54936-6/ebook). Lecture Notes in Mathematics 2111. CIME Foundation Subseries, 55-157 (2014). MSC: 03C60 12L12 12J10 PDFBibTeX XMLCite \textit{L. van den Dries}, Lect. Notes Math. 2111, 55--157 (2014; Zbl 1347.03074) Full Text: DOI
van den Dries, Lou Truncation in Hahn fields. (English) Zbl 1361.12004 Campillo, Antonio (ed.) et al., Valuation theory in interaction. Proceedings of the 2nd international conference and workshop on valuation theory, Segovia and El Escorial, Spain, July 18–29, 2011. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-149-1/hbk). EMS Series of Congress Reports, 579-595 (2014). MSC: 12Jxx 12J15 06F15 PDFBibTeX XMLCite \textit{L. van den Dries}, in: Valuation theory in interaction. Proceedings of the 2nd international conference and workshop on valuation theory, Segovia and El Escorial, Spain, July 18--29, 2011. Zürich: European Mathematical Society (EMS). 579--595 (2014; Zbl 1361.12004)
Macpherson, H. Dugald (ed.); Toffalori, Carlo (ed.) [van den Dries, Lou; Koenigsmann, Jochen; Wilkie, Alex J.; Pillay, Anand] Model theory in algebra, analysis and arithmetic. Cetraro, Italy 2012. Lectures of the CIME course, Cetraro, Italy, 2012. (English) Zbl 1300.03006 Lecture Notes in Mathematics 2111. CIME Foundation Subseries. Heidelberg: Springer; Florence: Fondazione CIME (ISBN 978-3-642-54935-9/pbk; 978-3-642-54936-6/ebook). vii, 195 p. (2014). MSC: 03-06 03C10 03C45 03C60 03C62 03C64 12J20 11U09 00B25 PDFBibTeX XMLCite \textit{H. D. Macpherson} (ed.) and \textit{C. Toffalori} (ed.), Model theory in algebra, analysis and arithmetic. Cetraro, Italy 2012. Lectures of the CIME course, Cetraro, Italy, 2012. Heidelberg: Springer; Florence: Fondazione CIME (2014; Zbl 1300.03006) Full Text: DOI
Azgin, Salih; van den Dries, Lou Elementary theory of valued fields with a valuation-preserving automorphism. (English) Zbl 1235.03068 J. Inst. Math. Jussieu 10, No. 1, 1-35 (2011). MSC: 03C60 12L12 PDFBibTeX XMLCite \textit{S. Azgin} and \textit{L. van den Dries}, J. Inst. Math. Jussieu 10, No. 1, 1--35 (2011; Zbl 1235.03068) Full Text: DOI arXiv
van den Dries, Lou; Maříková, Jana Triangulation in o-minimal fields with standard part map. (English) Zbl 1221.03030 Fundam. Math. 209, No. 2, 133-155 (2010). Reviewer: Paweł Gładki (Katowice) MSC: 03C64 12L12 14P10 PDFBibTeX XMLCite \textit{L. van den Dries} and \textit{J. Maříková}, Fundam. Math. 209, No. 2, 133--155 (2010; Zbl 1221.03030) Full Text: DOI arXiv
van den Dries, Lou; Günaydin, Ayhan The fields of real and complex numbers with a small multiplicative group. (English) Zbl 1101.03028 Proc. Lond. Math. Soc. (3) 93, No. 1, 43-81 (2006). MSC: 03C60 13K05 12D99 03C10 03C35 03C64 03C98 12L12 13L05 PDFBibTeX XMLCite \textit{L. van den Dries} and \textit{A. Günaydin}, Proc. Lond. Math. Soc. (3) 93, No. 1, 43--81 (2006; Zbl 1101.03028) Full Text: DOI
Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris Differentially algebraic gaps. (English) Zbl 1151.12002 Sel. Math., New Ser. 11, No. 2, 247-280 (2005). MSC: 12H05 12J10 03C64 16W60 PDFBibTeX XMLCite \textit{M. Aschenbrenner} et al., Sel. Math., New Ser. 11, No. 2, 247--280 (2005; Zbl 1151.12002) Full Text: DOI
Aschenbrenner, Matthias; van den Dries, Lou Asymptotic differential algebra. (English) Zbl 1087.12002 Costin, O. (ed.) et al., Analyzable functions and applications. International workshop, Edinburgh, UK, June 17–21, 2002. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3419-3/pbk). Contemporary Mathematics 373, 49-85 (2005). Reviewer: Svatoslav Staněk (Olomouc) MSC: 12H05 12-02 PDFBibTeX XMLCite \textit{M. Aschenbrenner} and \textit{L. van den Dries}, Contemp. Math. 373, 49--85 (2005; Zbl 1087.12002)
Aschenbrenner, Matthias; van den Dries, Lou Liouville closed \(H\)-fields. (English) Zbl 1134.12004 J. Pure Appl. Algebra 197, No. 1-3, 83-139 (2005). MSC: 12H05 12J15 PDFBibTeX XMLCite \textit{M. Aschenbrenner} and \textit{L. van den Dries}, J. Pure Appl. Algebra 197, No. 1--3, 83--139 (2005; Zbl 1134.12004) Full Text: DOI
Aschenbrenner, Matthias; van den Dries, Lou \(H\)-fields and their Liouville extensions. (English) Zbl 1066.12002 Math. Z. 242, No. 3, 543-588 (2002). Reviewer: Zbigniew Hajto (Kraków) MSC: 12H05 03C10 PDFBibTeX XMLCite \textit{M. Aschenbrenner} and \textit{L. van den Dries}, Math. Z. 242, No. 3, 543--588 (2002; Zbl 1066.12002) Full Text: DOI
van den Dries, Lou; Kuhlmann, Franz-Viktor Images of additive polynomials in \(\mathbb{F}_q((t))\) have the optimal approximation property. (English) Zbl 1009.12008 Can. Math. Bull. 45, No. 1, 71-79 (2002). Reviewer: G.Pestov (Tomsk) MSC: 12J25 12L12 03C60 PDFBibTeX XMLCite \textit{L. van den Dries} and \textit{F.-V. Kuhlmann}, Can. Math. Bull. 45, No. 1, 71--79 (2002; Zbl 1009.12008) Full Text: DOI
van den Dries, Lou; Macintyre, Angus; Marker, David Logarithmic-exponential series. (English) Zbl 0998.12014 Ann. Pure Appl. Logic 111, No. 1-2, 61-113 (2001). Reviewer: H. D. Macpherson (Leeds) MSC: 12L12 03C60 12J15 12H05 PDFBibTeX XMLCite \textit{L. van den Dries} et al., Ann. Pure Appl. Logic 111, No. 1--2, 61--113 (2001; Zbl 0998.12014) Full Text: DOI
van den Dries, Lou; Ehrlich, Philip Fields of surreal numbers and exponentiation. (English) Zbl 0974.03035 Fundam. Math. 167, No. 2, 173-188 (2001); erratum ibid. 168, No. 2, 295-297 (2001). Reviewer: Leon Harkleroad (Wilton) MSC: 03C64 12J15 03C65 03E10 PDFBibTeX XMLCite \textit{L. van den Dries} and \textit{P. Ehrlich}, Fundam. Math. 167, No. 2, 173--188 (2001); erratum ibid. 168, No. 2, 295--297 (2001; Zbl 0974.03035) Full Text: DOI
van den Dries, Lou; Speissegger, Patrick The field of reals with multisummable series and the exponential function. (English) Zbl 1062.03029 Proc. Lond. Math. Soc., III. Ser. 81, No. 3, 513-565 (2000). MSC: 03C64 03C10 12L12 26E05 PDFBibTeX XMLCite \textit{L. van den Dries} and \textit{P. Speissegger}, Proc. Lond. Math. Soc. (3) 81, No. 3, 513--565 (2000; Zbl 1062.03029) Full Text: DOI
van den Dries, Lou Classical model theory of fields. (English) Zbl 0986.03034 Haskell, Deirdre (ed.) et al., Model theory, algebra, and geometry. Cambridge: Cambridge University Press. Math. Sci. Res. Inst. Publ. 39, 37-52 (2000). Reviewer: A.Prestel (Konstanz) MSC: 03C60 12L12 03C64 03C10 PDFBibTeX XMLCite \textit{L. van den Dries}, Math. Sci. Res. Inst. Publ. 39, 37--52 (2000; Zbl 0986.03034) Full Text: Link
Aschenbrenner, Matthias; van den Dries, Lou Closed asymptotic couples. (English) Zbl 0974.12015 J. Algebra 225, No. 1, 309-358 (2000). Reviewer: Z.Hajto (Kraków) MSC: 12J10 03C60 12L12 PDFBibTeX XMLCite \textit{M. Aschenbrenner} and \textit{L. van den Dries}, J. Algebra 225, No. 1, 309--358 (2000; Zbl 0974.12015) Full Text: DOI Link
van den Dries, Lou On the elementary theory of rings of Witt vectors with a multiplicative set of representatives for the residue field. (English) Zbl 0923.03053 Manuscr. Math. 98, No. 2, 133-137 (1999). Reviewer: J.Močkoř (Ostrava) MSC: 03C60 13K05 13L05 12K05 PDFBibTeX XMLCite \textit{L. van den Dries}, Manuscr. Math. 98, No. 2, 133--137 (1999; Zbl 0923.03053) Full Text: DOI
van den Dries, Lou Correction to “\(T\)-convexity and tame extensions. II”. (English) Zbl 0927.03068 J. Symb. Log. 63, No. 4, 1597 (1998). MSC: 03C60 12L12 03C64 PDFBibTeX XMLCite \textit{L. van den Dries}, J. Symb. Log. 63, No. 4, 1597 (1998; Zbl 0927.03068) Full Text: DOI
van den Dries, Lou Tame topology and o-minimal structures. (English) Zbl 0953.03045 London Mathematical Society Lecture Note Series. 248. Cambridge: Cambridge University Press. x, 180 p. (1998). Reviewer: H.D.Macpherson (Leeds) MSC: 03C64 14P10 03-02 12L12 PDFBibTeX XMLCite \textit{L. van den Dries}, Tame topology and o-minimal structures. Cambridge: Cambridge University Press (1998; Zbl 0953.03045)
van den Dries, Lou; Macintyre, Angus; Marker, David Logarithmic-exponential power series. (English) Zbl 0924.12007 J. Lond. Math. Soc., II. Ser. 56, No. 3, 417-434 (1997). Reviewer: A.Prestel (Konstanz) MSC: 12L12 03C60 03H05 12J15 PDFBibTeX XMLCite \textit{L. van den Dries} et al., J. Lond. Math. Soc., II. Ser. 56, No. 3, 417--434 (1997; Zbl 0924.12007) Full Text: DOI
van den Dries, Lou \(T\)-convexity and tame extensions. II. (English) Zbl 0922.03055 J. Symb. Log. 62, No. 1, 14-34 (1997). Reviewer: A.Prestel (Konstanz) MSC: 03C60 12L12 03C50 03C35 03C10 PDFBibTeX XMLCite \textit{L. van den Dries}, J. Symb. Log. 62, No. 1, 14--34 (1997; Zbl 0922.03055) Full Text: DOI
van den Dries, Lou o-minimal structures on the field of real numbers. (English) Zbl 0854.03036 Jahresber. Dtsch. Math.-Ver. 98, No. 3, 165-171 (1996). Reviewer: H.D.Macpherson (Leeds) MSC: 03C52 12L12 12D99 03-02 PDFBibTeX XMLCite \textit{L. van den Dries}, Jahresber. Dtsch. Math.-Ver. 98, No. 3, 165--171 (1996; Zbl 0854.03036)
van den Dries, Lou; Miller, Chris Correction to ”On the real exponential field with restricted analytic functions”. (English) Zbl 0973.03514 Isr. J. Math. 92, No. 1-3, 427 (1995). MSC: 03C60 12L12 PDFBibTeX XMLCite \textit{L. van den Dries} and \textit{C. Miller}, Isr. J. Math. 92, No. 1--3, 427 (1995; Zbl 0973.03514) Full Text: DOI
van den Dries, Lou; Lewenberg, Adam H. \(T\)-convexity and tame extensions. (English) Zbl 0856.03028 J. Symb. Log. 60, No. 1, 74-102 (1995). Reviewer: A.Prestel (Konstanz) MSC: 03C52 12L12 03C60 03C10 03C35 12J10 12J15 PDFBibTeX XMLCite \textit{L. van den Dries} and \textit{A. H. Lewenberg}, J. Symb. Log. 60, No. 1, 74--102 (1995; Zbl 0856.03028) Full Text: DOI
van den Dries, Lou; Macintyre, Angus; Marker, David The elementary theory of restricted analytic fields with exponentiation. (English) Zbl 0837.12006 Ann. Math. (2) 140, No. 1, 183-205 (1994). Reviewer: S.Kuhlmann (Heidelberg) MSC: 12L12 12J15 03C60 PDFBibTeX XMLCite \textit{L. van den Dries} et al., Ann. Math. (2) 140, No. 1, 183--205 (1994; Zbl 0837.12006) Full Text: DOI
van den Dries, Lou; Miller, Chris On the real exponential field with restricted analytic functions. (English) Zbl 0823.03017 Isr. J. Math. 85, No. 1-3, 19-56 (1994). Reviewer: A.Prestel (Konstanz) MSC: 03C60 12L12 PDFBibTeX XMLCite \textit{L. van den Dries} and \textit{C. Miller}, Isr. J. Math. 85, No. 1--3, 19--56 (1994; Zbl 0823.03017) Full Text: DOI
Chatzidakis, Zoé; van den Dries, Lou; Macintyre, Angus Definable sets over finite fields. (English) Zbl 0759.11045 J. Reine Angew. Math. 427, 107-135 (1992). Reviewer: U.Felgner (Tübingen) MSC: 11U09 14G15 11G25 03C60 12L12 PDFBibTeX XMLCite \textit{Z. Chatzidakis} et al., J. Reine Angew. Math. 427, 107--135 (1992; Zbl 0759.11045) Full Text: Crelle EuDML
van den Dries, Lou Analytic Ax-Kochen-Ershov theorems. (English) Zbl 0835.03004 Algebra, Proc. Int. Conf. Memory A. I. Mal’cev, Novosibirsk/USSR 1989, Contemp. Math. 131, Pt. 3, 379-398 (1992). Reviewer: M.Yasuhara (MR 93i:03041) MSC: 03C10 03C60 13J15 13J07 13L05 12L12 PDFBibTeX XMLCite \textit{L. van den Dries}, Contemp. Math. 131, 379--398 (1992; Zbl 0835.03004)
van den Dries, Lou A remark on Ax’s theorem on solvability modulo primes. (English) Zbl 0744.11064 Math. Z. 208, No. 1, 65-70 (1991). Reviewer: G.Pestov (Tomsk) MSC: 11U09 12L12 03C60 PDFBibTeX XMLCite \textit{L. van den Dries}, Math. Z. 208, No. 1, 65--70 (1991; Zbl 0744.11064) Full Text: DOI EuDML
van den Dries, Lou; Macintyre, Angus The logic of Rumely’s local-global principle. (English) Zbl 0703.13021 J. Reine Angew. Math. 407, 33-56 (1990). Reviewer: J.Močkoř MSC: 13L05 03C10 12L05 PDFBibTeX XMLCite \textit{L. van den Dries} and \textit{A. Macintyre}, J. Reine Angew. Math. 407, 33--56 (1990; Zbl 0703.13021) Full Text: Crelle EuDML
van den Dries, Lou Convergent series expansions of a new type for exponential functions. (English) Zbl 0709.13011 Math. Nachr. 142, 7-18 (1989). Reviewer: G.Rangan MSC: 13J05 12D15 26E05 13F25 26C05 PDFBibTeX XMLCite \textit{L. van den Dries}, Math. Nachr. 142, 7--18 (1989; Zbl 0709.13011) Full Text: DOI
van den Dries, Lou Dimension of definable sets, algebraic boundedness and Henselian fields. (English) Zbl 0704.03017 Ann. Pure Appl. Logic 45, No. 2, 189-209 (1989). Reviewer: Dimitru Buşneag (Craiova) MSC: 03C60 12L12 PDFBibTeX XMLCite \textit{L. van den Dries}, Ann. Pure Appl. Logic 45, No. 2, 189--209 (1989; Zbl 0704.03017) Full Text: DOI
van den Dries, Lou; Marker, David; Martin, Gary Definable equivalence relations on algebraically closed fields. (English) Zbl 0689.03019 J. Symb. Log. 54, No. 3, 928-935 (1989). Reviewer: M.F.Singer MSC: 03C60 12L12 PDFBibTeX XMLCite \textit{L. van den Dries} et al., J. Symb. Log. 54, No. 3, 928--935 (1989; Zbl 0689.03019) Full Text: DOI
Bélair, L.; van den Dries, Lou; Macintyre, A. Elementary equivalence and codimension in p-adic fields. (English) Zbl 0665.12027 Manuscr. Math. 62, No. 2, 219-225 (1988). Reviewer: W.Veldman MSC: 12L12 03C60 14G20 11S85 12J25 PDFBibTeX XMLCite \textit{L. Bélair} et al., Manuscr. Math. 62, No. 2, 219--225 (1988; Zbl 0665.12027) Full Text: DOI EuDML
van den Dries, Lou Elimination theory for the ring of algebraic integers. (English) Zbl 0659.12021 J. Reine Angew. Math. 388, 189-205 (1988). Reviewer: Xianke Zhang (Beijing) MSC: 12L05 03C62 11D72 11R04 PDFBibTeX XMLCite \textit{L. van den Dries}, J. Reine Angew. Math. 388, 189--205 (1988; Zbl 0659.12021) Full Text: DOI Crelle EuDML
van den Dries, Lou Alfred Tarski’s elimination theory for real closed fields. (English) Zbl 0651.03001 J. Symb. Log. 53, No. 1, 7-19 (1988). Reviewer: M.Yasuhara MSC: 03-03 03C10 03-02 01A60 03B25 12L05 12L12 PDFBibTeX XMLCite \textit{L. van den Dries}, J. Symb. Log. 53, No. 1, 7--19 (1988; Zbl 0651.03001) Full Text: DOI
van den Dries, Lou; Ribenboim, Paulo An application of Tarski’s principle to absolute Galois groups of function fields. (English) Zbl 0645.12009 Ann. Pure Appl. Logic 33, 83-107 (1987). Reviewer: A.Prestel MSC: 12F10 12L10 14H05 11R58 14Pxx PDFBibTeX XMLCite \textit{L. van den Dries} and \textit{P. Ribenboim}, Ann. Pure Appl. Logic 33, 83--107 (1987; Zbl 0645.12009) Full Text: DOI
van den Dries, Lou; Ribenboim, P. An application of Tarski’s principle to absolute Galois groups of function fields. (English) Zbl 0645.12010 Algebra and order, Proc. 1st Int. Symp., Luminy-Marseilles/France 1984, Res. Expo. Math. 14, 131-148 (1986). Reviewer: A.Prestel MSC: 12F10 12L10 14H05 11R58 14Pxx PDFBibTeX XML
van den Dries, Lou The field of reals with a predicate for the powers of two. (English) Zbl 0631.03020 Manuscr. Math. 54, 187-195 (1986). Reviewer: Ş.A.Basarab MSC: 03C60 12L12 12J15 03C10 03C65 PDFBibTeX XMLCite \textit{L. van den Dries}, Manuscr. Math. 54, 187--195 (1986; Zbl 0631.03020) Full Text: DOI EuDML
van den Dries, Lou; Smith, Rick L. Decidable regularly closed fields of algebraic numbers. (English) Zbl 0574.12023 J. Symb. Log. 50, 468-475 (1985). Reviewer: C.U.Jensen MSC: 12L05 12F10 03B25 14G05 PDFBibTeX XMLCite \textit{L. van den Dries} and \textit{R. L. Smith}, J. Symb. Log. 50, 468--475 (1985; Zbl 0574.12023) Full Text: DOI
van den Dries, Lou Analytic Hardy fields and exponential curves in the real plane. (English) Zbl 0597.26002 Am. J. Math. 106, 149-167 (1984). Reviewer: N.V.Grigorenko MSC: 26A12 12H05 14H45 PDFBibTeX XMLCite \textit{L. van den Dries}, Am. J. Math. 106, 149--167 (1984; Zbl 0597.26002) Full Text: DOI
van den Dries, Lou Remarks on Tarski’s problem concerning \(({\mathbb{R}},+,\cdot,\exp)\). (English) Zbl 0585.03006 Logic colloquium ’82, Proc. Colloq., Florence 1982, Stud. Logic Found. Math. 112, 97-121 (1984). Reviewer: A.Wojciechowska MSC: 03B25 03C10 12L05 03B30 PDFBibTeX XML
van den Dries, Lou; Ribenboim, Paulo The absolute Galois group of a rational function field in characteristic zero is a semi-direct product. (English) Zbl 0548.12013 Can. Math. Bull. 27, 313-315 (1984). Reviewer: H.F.Kreimer MSC: 12F10 20F29 PDFBibTeX XMLCite \textit{L. van den Dries} and \textit{P. Ribenboim}, Can. Math. Bull. 27, 313--315 (1984; Zbl 0548.12013) Full Text: DOI
van den Dries, Lou; Schmidt, K. Bounds in the theory of polynomial rings over fields. A nonstandard approach. (English) Zbl 0539.13011 Invent. Math. 76, 77-91 (1984). MSC: 13F20 12E05 03H99 13B25 PDFBibTeX XMLCite \textit{L. van den Dries} and \textit{K. Schmidt}, Invent. Math. 76, 77--91 (1984; Zbl 0539.13011) Full Text: DOI EuDML
Macintyre, Angus J.; McKenna, Kenneth; van den Dries, Lou Elimination of quantifiers in algebraic structures. (English) Zbl 0531.03016 Adv. Math. 47, 74-87 (1983). Reviewer: J.Oikkonen MSC: 03C60 03C10 12L99 PDFBibTeX XMLCite \textit{A. J. Macintyre} et al., Adv. Math. 47, 74--87 (1983; Zbl 0531.03016) Full Text: DOI
van den Dries, Lou A specialization theorem for p-adic power series converging on the closed unit disc. (English) Zbl 0511.12018 J. Algebra 73, 613-624 (1981). MSC: 12J25 13B25 13J05 14B12 13J15 11S80 PDFBibTeX XMLCite \textit{L. van den Dries}, J. Algebra 73, 613--624 (1981; Zbl 0511.12018) Full Text: DOI
Lubotzky, Alexander; van den Dries, Lou Subgroups of free profinite groups and large subfields of Q. (English) Zbl 0485.20021 Isr. J. Math. 39, 25-45 (1981). MSC: 20E18 20E05 11R32 20E07 12F10 PDFBibTeX XMLCite \textit{A. Lubotzky} and \textit{L. van den Dries}, Isr. J. Math. 39, 25--45 (1981; Zbl 0485.20021) Full Text: DOI
Van den Dries, Lou Quantifier elimination for linear formulas over ordered and valued fields. (English) Zbl 0479.03018 Bull. Soc. Math. Belg., Sér. B 33, 19-31 (1981). MSC: 03C10 12J10 12L99 03C60 06F99 PDFBibTeX XMLCite \textit{L. Van den Dries}, Bull. Soc. Math. Belg., Sér. B 33, 19--31 (1981; Zbl 0479.03018)
Cherlin, Gregory; van den Dries, Lou; Macintyre, Angus J. Decidability and undecidability theorems for PAC-fields. (English) Zbl 0466.12017 Bull. Am. Math. Soc., New Ser. 4, 101-104 (1981). MSC: 12L05 03B25 14G05 20E18 PDFBibTeX XMLCite \textit{G. Cherlin} et al., Bull. Am. Math. Soc., New Ser. 4, 101--104 (1981; Zbl 0466.12017) Full Text: DOI
van den Dries, L. P. D. A linearly ordered ring whose theory admits elimination of quantifiers is a real closed field. (English) Zbl 0397.06017 Proc. Am. Math. Soc. 79, 97-100 (1980). MSC: 06F25 06A06 03C10 12J15 PDFBibTeX XMLCite \textit{L. P. D. van den Dries}, Proc. Am. Math. Soc. 79, 97--100 (1980; Zbl 0397.06017) Full Text: DOI
Van den Dries, Lou; Ribenboim, Paulo Application de la théorie des modeles aux groupes de Galois de corps de fonctions. (French) Zbl 0426.12004 C. R. Acad. Sci., Paris, Sér. A 288, 789-792 (1979). MSC: 11R32 03C60 11R58 12F10 PDFBibTeX XMLCite \textit{L. Van den Dries} and \textit{P. Ribenboim}, C. R. Acad. Sci., Paris, Sér. A 288, 789--792 (1979; Zbl 0426.12004)
Becker, Joseph; Denef, J.; Lipshitz, L.; Van den Dries, Lou Ultraproducts and approximation in local rings. I. (English) Zbl 0416.13004 Invent. Math. 51, 189-203 (1979). Reviewer: A. R. Magid MSC: 13B02 13B25 13F30 13J15 12E12 14B12 03C20 13H99 PDFBibTeX XMLCite \textit{J. Becker} et al., Invent. Math. 51, 189--203 (1979; Zbl 0416.13004) Full Text: DOI EuDML
van den Dries, Lou New decidable fields of algebraic numbers. (English) Zbl 0396.12020 Proc. Am. Math. Soc. 77, 251-256 (1979). MSC: 12L05 03C60 03B25 PDFBibTeX XMLCite \textit{L. van den Dries}, Proc. Am. Math. Soc. 77, 251--256 (1979; Zbl 0396.12020) Full Text: DOI