| Publication | Date of Publication | Type |
|---|
| Vector spaces with a union of independent subspaces | 2024-04-16 | Paper |
| Provability logic: models within models in Peano arithmetic | 2023-04-27 | Paper |
| Exponential fields and Conway’s omega-map | 2023-04-19 | Paper |
| ASYMPTOTIC ANALYSIS OF SKOLEM’S EXPONENTIAL FUNCTIONS | 2022-06-15 | Paper |
| Is the twin prime conjecture independent of Peano Arithmetic? | 2021-10-16 | Paper |
| Provability Logic: models within models in Peano Arithmetic | 2021-09-12 | Paper |
| On the value group of the transseries | 2021-09-03 | Paper |
| Orthogonal decomposition of definable groups | 2021-01-03 | Paper |
| Surreal numbers, exponentiation and derivations | 2020-08-16 | Paper |
| Cartan subgroups and regular points of o‐minimal groups | 2019-11-28 | Paper |
| Asymptotic analysis of Skolem's exponential functions | 2019-11-18 | Paper |
| Transseries as germs of surreal functions | 2019-01-10 | Paper |
| A Vietoris-Smale mapping theorem for the homotopy of hyperdefinable sets | 2018-09-21 | Paper |
| Surreal numbers, derivations and transseries | 2018-03-23 | Paper |
| Cartan subgroups and regular points of o-minimal groups | 2017-07-10 | Paper |
| Groups definable in two orthogonal sorts | 2015-11-16 | Paper |
| Discrete subgroups of locally definable groups | 2013-08-19 | Paper |
| Topology of definable abelian groups in o-minimal structures | 2012-06-19 | Paper |
| Infinite paths and cliques in random graphs | 2012-01-13 | Paper |
| On the homotopy type of definable groups in an o-minimal structure | 2011-06-06 | Paper |
| Group covers, o-minimality, and categoricity | 2011-02-10 | Paper |
| Higher homotopy of groups definable in o-minimal structures | 2011-01-10 | Paper |
| o-MINIMAL COHOMOLOGY: FINITENESS AND INVARIANCE RESULTS | 2010-10-12 | Paper |
| Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup | 2009-09-29 | Paper |
| Products of straight spaces | 2009-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5457299 | 2008-04-14 | Paper |
| O-minimal spectra, infinitesimal subgroups and cohomology | 2008-02-25 | Paper |
| Corrigendum to: “Transfer methods for o-minimal topology” | 2007-10-17 | Paper |
| Local connectedness and extension of uniformly continuous functions | 2006-10-30 | Paper |
| A descending chain condition for groups definable in o-minimal structures | 2005-06-23 | Paper |
| An additive measure in o-minimal expansions of fields | 2005-05-03 | Paper |
| An additivity theorem for uniformly continuous functions | 2005-02-22 | Paper |
| Transfer methods for o-minimal topology | 2005-02-09 | Paper |
| An effective version of Wilkie's theorem of the complement and some effective o-minimality results. | 2004-03-14 | Paper |
| o-MINIMAL FUNDAMENTAL GROUP, HOMOLOGY AND MANIFOLDS | 2002-10-22 | Paper |
| Functions with distant fibers and uniform continuity | 2002-08-22 | Paper |
| Uniform quasi components, thin spaces and compact separation | 2002-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2778868 | 2002-03-21 | Paper |
| Intersection theory for o-minimal manifolds | 2001-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941990 | 2001-01-07 | Paper |
| Factorization in generalized power series | 1999-11-17 | Paper |
| Infinite \(\lambda\)-calculus and types | 1999-01-12 | Paper |
| Cardinal invariants and independence results in the poset of precompact group topologies | 1998-02-25 | Paper |
| A recursive nonstandard model of normal open induction | 1997-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3837724 | 1997-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4837694 | 1997-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4896520 | 1996-10-20 | Paper |
| \(\Delta_ 0\)-complexity of the relation \(y= \prod_{i\leq n} F(i)\) | 1995-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4283231 | 1994-10-09 | Paper |
| On the cop number of a graph | 1994-07-03 | Paper |
| Some new results on easy lambda-terms | 1994-03-03 | Paper |
| On the provability logic of bounded arithmetic | 1993-09-22 | Paper |
| Combinatorial principles in elementary number theory | 1992-06-28 | Paper |
| The interpretability logic of Peano arithmetic | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4732443 | 1989-01-01 | Paper |
| Automatic synthesis of typed \(\Lambda\)-programs on term algebras | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4722040 | 1985-01-01 | Paper |
