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 |