Publication | Date of Publication | Type |
---|
Analytic Hardy fields | 2023-11-13 | Paper |
Filling gaps in Hardy fields | 2023-08-04 | Paper |
Maximal Hardy Fields | 2023-04-21 | Paper |
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 a Differential Intermediate Value Property | 2021-05-26 | Paper |
On the Pila-Wilkie theorem | 2020-10-27 | 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 |
Hardy fields, the intermediate value property, and $\omega$-freeness | 2019-04-01 | 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 |
Bounded pregeometries and pairs of fields | 2017-07-11 | 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 |