| Publication | Date of Publication | Type |
|---|
Orthogonal decomposition of definable groups
Journal of Symbolic Logic | 2024-11-25 | Paper |
Vector spaces with a union of independent subspaces
Archive for Mathematical Logic | 2024-04-16 | Paper |
Provability logic: models within models in Peano arithmetic
Bollettino dell'Unione Matematica Italiana | 2023-04-27 | Paper |
Exponential fields and Conway’s omega-map
Proceedings of the American Mathematical Society | 2023-04-19 | Paper |
ASYMPTOTIC ANALYSIS OF SKOLEM’S EXPONENTIAL FUNCTIONS
Journal of Symbolic Logic | 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
(available as arXiv preprint) | 2021-09-12 | Paper |
On the value group of the transseries
Pacific Journal of Mathematics | 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
Journal of the London Mathematical Society | 2019-11-28 | Paper |
Asymptotic analysis of Skolem's exponential functions
(available as arXiv preprint) | 2019-11-18 | Paper |
Transseries as germs of surreal functions
Transactions of the American Mathematical Society | 2019-01-10 | Paper |
A Vietoris-Smale mapping theorem for the homotopy of hyperdefinable sets
Selecta Mathematica. New Series | 2018-09-21 | Paper |
Surreal numbers, derivations and transseries
Journal of the European Mathematical Society (JEMS) | 2018-03-23 | Paper |
Cartan subgroups and regular points of o-minimal groups
(available as arXiv preprint) | 2017-07-10 | Paper |
Groups definable in two orthogonal sorts
Israel Journal of Mathematics | 2015-11-16 | Paper |
Discrete subgroups of locally definable groups
Selecta Mathematica. New Series | 2013-08-19 | Paper |
Topology of definable abelian groups in o-minimal structures
Bulletin of the London Mathematical Society | 2012-06-19 | Paper |
Topology of definable abelian groups in o-minimal structures
Bulletin of the London Mathematical Society | 2012-06-19 | Paper |
Infinite paths and cliques in random graphs
Fundamenta Mathematicae | 2012-01-13 | Paper |
On the homotopy type of definable groups in an o-minimal structure
Journal of the London Mathematical Society | 2011-06-06 | Paper |
Group covers, o-minimality, and categoricity
Confluentes Mathematici | 2011-02-10 | Paper |
Higher homotopy of groups definable in o-minimal structures
Israel Journal of Mathematics | 2011-01-10 | Paper |
o-MINIMAL COHOMOLOGY: FINITENESS AND INVARIANCE RESULTS
Journal of Mathematical Logic | 2010-10-12 | Paper |
Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup
Journal of Symbolic Logic | 2009-09-29 | Paper |
Products of straight spaces
Topology and its Applications | 2009-04-23 | Paper |
Zero-groups and maximal tori
(available as arXiv preprint) | 2008-04-14 | Paper |
O-minimal spectra, infinitesimal subgroups and cohomology
Journal of Symbolic Logic | 2008-02-25 | Paper |
O-minimal spectra, infinitesimal subgroups and cohomology
Journal of Symbolic Logic | 2008-02-25 | Paper |
Corrigendum to: “Transfer methods for o-minimal topology”
Journal of Symbolic Logic | 2007-10-17 | Paper |
Local connectedness and extension of uniformly continuous functions
Topology and its Applications | 2006-10-30 | Paper |
A descending chain condition for groups definable in o-minimal structures
Annals of Pure and Applied Logic | 2005-06-23 | Paper |
An additive measure in o-minimal expansions of fields
The Quarterly Journal of Mathematics | 2005-05-03 | Paper |
An additivity theorem for uniformly continuous functions
Topology and its Applications | 2005-02-22 | Paper |
Transfer methods for o-minimal topology
Journal of Symbolic Logic | 2005-02-09 | Paper |
An effective version of Wilkie's theorem of the complement and some effective o-minimality results.
Annals of Pure and Applied Logic | 2004-03-14 | Paper |
o-MINIMAL FUNDAMENTAL GROUP, HOMOLOGY AND MANIFOLDS
Journal of the London Mathematical Society | 2002-10-22 | Paper |
Uniform quasi components, thin spaces and compact separation
Topology and its Applications | 2002-08-22 | Paper |
Functions with distant fibers and uniform continuity
Topology and its Applications | 2002-08-22 | Paper |
| scientific article; zbMATH DE number 1722696 (Why is no real title available?) | 2002-03-21 | Paper |
Intersection theory for o-minimal manifolds
Annals of Pure and Applied Logic | 2001-02-11 | Paper |
| scientific article; zbMATH DE number 1418435 (Why is no real title available?) | 2001-01-07 | Paper |
Factorization in generalized power series
Transactions of the American Mathematical Society | 1999-11-17 | Paper |
Infinite \(\lambda\)-calculus and types
Theoretical Computer Science | 1999-01-12 | Paper |
Cardinal invariants and independence results in the poset of precompact group topologies
Journal of Pure and Applied Algebra | 1998-02-25 | Paper |
A recursive nonstandard model of normal open induction
Journal of Symbolic Logic | 1997-09-15 | Paper |
| scientific article; zbMATH DE number 956467 (Why is no real title available?) | 1997-08-04 | Paper |
| scientific article; zbMATH DE number 769600 (Why is no real title available?) | 1997-07-31 | Paper |
| scientific article; zbMATH DE number 937379 (Why is no real title available?) | 1996-10-20 | Paper |
\(\Delta_ 0\)-complexity of the relation \(y= \prod_{i\leq n} F(i)\)
Annals of Pure and Applied Logic | 1995-11-05 | Paper |
| scientific article; zbMATH DE number 515729 (Why is no real title available?) | 1994-10-09 | Paper |
On the cop number of a graph
Advances in Applied Mathematics | 1994-07-03 | Paper |
Some new results on easy lambda-terms
Theoretical Computer Science | 1994-03-03 | Paper |
On the provability logic of bounded arithmetic
Annals of Pure and Applied Logic | 1993-09-22 | Paper |
Combinatorial principles in elementary number theory
Annals of Pure and Applied Logic | 1992-06-28 | Paper |
The interpretability logic of Peano arithmetic
Journal of Symbolic Logic | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4118337 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 3993543 (Why is no real title available?) | 1985-01-01 | Paper |
Automatic synthesis of typed -programs on term algebras
Theoretical Computer Science | 1985-01-01 | Paper |
