| Publication | Date of Publication | Type |
|---|
| On a differential intermediate value property | 2022-11-29 | Paper |
| On the Pila-Wilkie theorem | 2022-09-14 | Paper |
| Transseries, Model Theory, and Hardy Fields | 2022-08-31 | Paper |
| Revisiting closed asymptotic couples | 2022-07-13 | Paper |
| ON NUMBERS, GERMS, AND TRANSSERIES | 2020-09-22 | Paper |
| Logarithmic hyperseries | 2019-09-26 | Paper |
| The surreal numbers as a universal \(H\)-field | 2019-04-24 | Paper |
| Homogeneous universal $H$-fields | 2019-04-23 | Paper |
| On the uniqueness of maximal immediate extensions of valued differential fields | 2018-12-04 | Paper |
| Maximal immediate extensions of valued differential fields | 2018-08-30 | Paper |
| Dimension in the realm of transseries | 2018-04-16 | Paper |
| Arithmetic complexity | 2017-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2967782 | 2017-03-02 | Paper |
| Asymptotic Differential Algebra and Model Theory of Transseries | 2017-02-14 | Paper |
| Hilbert's 5th problem | 2016-02-25 | Paper |
| Lectures on the Model Theory of Valued Fields | 2015-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4982815 | 2015-04-10 | Paper |
| Toward a model theory for transseries | 2013-10-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2892864 | 2012-06-25 | Paper |
| Definable Sets in Mann Pairs | 2011-11-17 | Paper |
| Erratum to ‘Mann pairs’ | 2011-10-11 | Paper |
| Invariant measures on groups satisfying various chain conditions | 2011-03-18 | Paper |
| Triangulation in o-minimal fields with standard part map | 2011-03-04 | Paper |
| Elementary theory of valued fields with a valuation-preserving automorphism | 2011-01-18 | Paper |
| Division rings whose vector spaces are pseudofinite | 2010-10-04 | Paper |
| Globalizing locally compact local groups | 2010-09-28 | Paper |
| Mann pairs | 2010-05-11 | Paper |
| Locally Compact Contractive Local Groups | 2010-02-25 | Paper |
| A Polish group without Lie sums | 2009-10-26 | Paper |
| Isomorphism of complete local noetherian rings and strong approximation | 2008-10-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5393633 | 2006-10-23 | Paper |
| THE FIELDS OF REAL AND COMPLEX NUMBERS WITH A SMALL MULTIPLICATIVE GROUP | 2006-08-10 | Paper |
| Differentially algebraic gaps | 2006-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5700774 | 2005-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5314822 | 2005-09-05 | Paper |
| Is the Euclidean Algorithm Optimal Among its Peers? | 2005-05-24 | Paper |
| Liouville closed \(H\)-fields | 2005-04-18 | Paper |
| The laws of integer divisibility, and solution sets of linear divisibility conditions | 2005-02-09 | Paper |
| \(H\)-fields and their Liouville extensions | 2004-06-17 | Paper |
| Generating the greatest common divisor, and limitations of primitive recursive algorithms | 2003-08-26 | Paper |
| Images of Additive Polynomials in 𝔽q((t)) Have the Optimal Approximation Property | 2003-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2758396 | 2002-10-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513930 | 2002-06-06 | Paper |
| The Field of Reals with Multisummable Series and the Exponential Function | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2739385 | 2001-10-31 | Paper |
| Logarithmic-exponential series | 2001-09-11 | Paper |
| Fields of surreal numbers and exponentiation | 2001-06-17 | Paper |
| Closed asymptotic couples | 2000-08-13 | Paper |
| One-Dimensional p -Adic Subanalytic Sets | 2000-02-29 | Paper |
| Correction to “T-convexity and tame extensions II” | 1999-12-07 | Paper |
| On the elementary theory of rings of Witt vectors with a multiplicative set of representatives for the residue field | 1999-10-28 | Paper |
| Correction to On the real exponential field with restricted analytic functions | 1999-05-05 | Paper |
| T-convexity and tame extensions II | 1999-05-05 | Paper |
| Logarithmic-Exponential Power Series | 1999-05-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3840696 | 1998-10-25 | Paper |
| The real field with convergent generalized power series | 1998-09-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4392286 | 1998-06-08 | Paper |
| T-convexity and tame extensions | 1997-03-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3837729 | 1996-12-11 | Paper |
| o-minimal structures on the field of real numbers | 1996-11-03 | Paper |
| Geometric categories and o-minimal structures | 1996-10-22 | Paper |
| Parametrizing the solutions of an analytic differential equation | 1996-09-11 | Paper |
| The elementary theory of restricted analytic fields with exponentiation | 1996-05-21 | Paper |
| On the real exponential field with restricted analytic functions | 1995-10-31 | Paper |
| Extending Tamm's theorem | 1995-05-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4026915 | 1993-02-21 | Paper |
| Quantifier elimination for modules with scalar variables | 1992-09-27 | Paper |
| A remark on Ax's theorem on solvability modulo primes | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3988353 | 1992-06-28 | Paper |
| Weil's group chunk theorem: A topological setting | 1992-06-25 | Paper |
| On the integer zeros of exponential polynomials | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3353312 | 1992-01-01 | Paper |
| Surjective polynomial maps, and a remark on the Jacobian problem | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3481833 | 1990-01-01 | Paper |
| Dimension of definable sets, algebraic boundedness and Henselian fields | 1989-01-01 | Paper |
| Convergent Series Expansions of a New Type for Exponential Functions | 1989-01-01 | Paper |
| \(p\)-adic and real subanalytic sets | 1988-01-01 | Paper |
| Elementary equivalence and codimension in p-adic fields | 1988-01-01 | Paper |
| On the structure of semialgebraic sets over p-adic fields | 1988-01-01 | Paper |
| On the elementary theory of restricted elementary functions | 1988-01-01 | Paper |
| Alfred Tarski's elimination theory for real closed fields | 1988-01-01 | Paper |
| Elimination theory for the ring of algebraic integers. | 1988-01-01 | Paper |
| An application of Tarski's principle to absolute Galois groups of function fields | 1987-01-01 | Paper |
| The field of reals with a predicate for the powers of two | 1986-01-01 | Paper |
| A generalization of the Tarski-Seidenberg theorem, and some nondefinability results | 1986-01-01 | Paper |
| A Completeness Theorem for Trigonometric Identities and Various Results on Exponential Functions | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3788108 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4724607 | 1986-01-01 | Paper |
| Decidable regularly closed fields of algebraic numbers | 1985-01-01 | Paper |
| Gromov's theorem on groups of polynomial growth and elementary logic | 1984-01-01 | Paper |
| An effective bound for groups of linear growth | 1984-01-01 | Paper |
| Exponential rings, exponential polynomials and exponential functions | 1984-01-01 | Paper |
| On Skolem's Exponential Functions Below 2 2 x | 1984-01-01 | Paper |
| The Absolute Galois Group of a Rational Function Field in Characteristic Zero is a Semi-Direct Product | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3710508 | 1984-01-01 | Paper |
| Algebraic theories with definable Skolem functions | 1984-01-01 | Paper |
| Analytic Hardy Fields and Exponential Curves in the Real Plane | 1984-01-01 | Paper |
| Elimination of quantifiers in algebraic structures | 1983-01-01 | Paper |
| Injective polynomial maps and the Jacobian conjecture | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3658100 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3041467 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3324077 | 1982-01-01 | Paper |
| Elementary equivalence and the commutator subgroup | 1982-01-01 | Paper |
| Subgroups of free profinite groups and large subfields of Q | 1981-01-01 | Paper |
| A specialization theorem for p-adic power series converging on the closed unit disc | 1981-01-01 | Paper |
| Which Curves Over Z have Points with Coordinates in a Discrete Ordered Ring? | 1981-01-01 | Paper |
| Decidability and undecidability theorems for PAC-fields | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3936723 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3901517 | 1980-01-01 | Paper |
| A Linearly Ordered Ring whose Theory Admits Elimination of Quantifiers is a Real Closed Field | 1980-01-01 | Paper |
| Ultraproducts and approximation in local rings. I | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3861504 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3910626 | 1979-01-01 | Paper |
| New Decidable Fields of Algebraic Numbers | 1979-01-01 | Paper |
| Artin-Schreier theory for commutative regular rings | 1977-01-01 | Paper |
