| Publication | Date of Publication | Type |
|---|
| Analytic continuation and Zilber's quasiminimality conjecture | 2024-08-27 | Paper |
| Analytic continuation and Zilber's quasiminimality conjecture | 2023-06-26 | Paper |
| Uniform parameterization of subanalytic sets and diophantine applications | 2020-05-18 | Paper |
| Rational points on definable sets | 2016-10-13 | Paper |
| Lectures on elimination theory for semialgebraic and subanalytic sets | 2016-10-13 | Paper |
| Complex continuations of ℝan,exp-definable unary functions with a diophantine application | 2016-08-19 | Paper |
| Lectures on the Model Theory of Real and Complex Exponentiation | 2015-06-19 | Paper |
| Some results and problems on complex germs with definable Mittag-Leffler stars | 2013-10-09 | Paper |
| Integer-valued definable functions | 2012-12-10 | Paper |
| A Schanuel property for exponentially transcendental powers | 2010-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3566607 | 2010-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3535221 | 2008-11-10 | Paper |
| Locally polynomially bounded structures | 2008-08-11 | Paper |
| The rational points of a definable set | 2006-08-03 | Paper |
| Fusing o-minimal structures | 2006-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5700769 | 2005-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5316383 | 2005-09-12 | Paper |
| Diophantine properties of sets definable in o-minimal structures | 2005-08-29 | Paper |
| The laws of integer divisibility, and solution sets of linear divisibility conditions | 2005-02-09 | Paper |
| Quasianalytic Denjoy-Carleman classes and o-minimality | 2003-08-13 | Paper |
| On exponentiation -- a solution to Tarski's high school algebra problem | 2002-09-16 | Paper |
| A theorem of the complement and some new o-minimal structures | 2000-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938568 | 2000-08-27 | Paper |
| o-minimality | 1998-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4397030 | 1998-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4355928 | 1998-06-01 | Paper |
| Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function | 1996-12-11 | Paper |
| On defining C∞ | 1995-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3470461 | 1989-01-01 | Paper |
| On the theory of the real exponential field | 1989-01-01 | Paper |
| Provability of the pigeonhole principle and the existence of infinitely many primes | 1988-01-01 | Paper |
| On the scheme of induction for bounded arithmetic formulas | 1987-01-01 | Paper |
| Counting $Δ_0$ sets | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3813817 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3739120 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3773860 | 1986-01-01 | Paper |
| Classification of Quantifier Prefixes Over Exponential Diophantine Equations | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3689182 | 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 |
| https://portal.mardi4nfdi.de/entity/Q3346307 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3665102 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3964542 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3963001 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3941393 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3895478 | 1978-01-01 | Paper |
| Reconstruction Theorems for Families of Sets | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4154553 | 1977-01-01 | Paper |
| On models of arithmetic having non-modular substructure lattices | 1977-01-01 | Paper |
| A Note on Products of Finite Structures with an Application to Graphs | 1976-01-01 | Paper |
| On models of arithmetic—Answers to two problems raised by H. Gaifman | 1975-01-01 | Paper |
