| Publication | Date of Publication | Type |
|---|
Decidability for Sturmian words
Logical Methods in Computer Science | 2024-09-04 | Paper |
Decidability bounds for Presburger arithmetic extended by sine
Annals of Pure and Applied Logic | 2024-08-08 | Paper |
Decidability for Sturmian words
(available as arXiv preprint) | 2024-04-10 | Paper |
A strong version of Cobham’s theorem
Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing | 2023-12-08 | Paper |
Fractals and the monadic second order theory of one successor
Journal of Logic and Analysis | 2023-11-27 | Paper |
Pathological examples of structures with o‐minimal open core
Mathematical Logic Quarterly | 2023-09-12 | Paper |
| Decidability bounds for Presburger arithmetic extended by sine | 2022-03-31 | Paper |
Presburger arithmetic with algebraic scalar multiplications
(available as arXiv preprint) | 2021-10-08 | Paper |
| Presburger arithmetic with algebraic scalar multiplications | 2021-10-08 | Paper |
A tetrachotomy for expansions of the real ordered additive group
Selecta Mathematica. New Series | 2021-06-30 | Paper |
Expansions of the real field by discrete subgroups of \(\mathrm{Gl}_n(\mathbb{C})\)
Proceedings of the American Mathematical Society | 2021-03-30 | Paper |
Pairs of theories satisfying a Mordell-Lang condition
Fundamenta Mathematicae | 2021-01-25 | Paper |
Structure theorems in tame expansions of o-minimal structures by a dense set
Israel Journal of Mathematics | 2020-10-15 | Paper |
The choice property in tame expansions of o‐minimal structures
Mathematical Logic Quarterly | 2020-09-09 | Paper |
Metric dimensions and tameness in expansions of the real field
Transactions of the American Mathematical Society | 2020-02-26 | Paper |
scientific article; zbMATH DE number 7168153 (Why is no real title available?)
(available as arXiv preprint) | 2020-02-17 | Paper |
When is scalar multiplication decidable?
Annals of Pure and Applied Logic | 2019-07-10 | Paper |
Continuous Regular Functions
(available as arXiv preprint) | 2019-01-10 | Paper |
Geometry Labs United: An Invitation
Notices of the American Mathematical Society | 2018-12-06 | Paper |
A tame Cantor set
Journal of the European Mathematical Society (JEMS) | 2018-09-21 | Paper |
Interpreting the monadic second order theory of one successor in expansions of the real line
Israel Journal of Mathematics | 2018-06-29 | Paper |
Ostrowski numeration systems, addition, and finite automata
Notre Dame Journal of Formal Logic | 2018-05-18 | Paper |
Presburger Arithmetic with algebraic scalar multiplications
(available as arXiv preprint) | 2018-05-09 | Paper |
Wild theories with o-minimal open core
Annals of Pure and Applied Logic | 2017-12-06 | Paper |
A tetrachotomy for expansions of the real ordered additive group
(available as arXiv preprint) | 2017-09-10 | Paper |
The Choice Property in tame expansions of o-minimal structures
(available as arXiv preprint) | 2017-08-13 | Paper |
How to avoid a compact set
Advances in Mathematics | 2017-08-10 | Paper |
How to avoid a compact set
Advances in Mathematics | 2017-08-10 | Paper |
Distal and non-distal pairs
Journal of Symbolic Logic | 2017-06-01 | Paper |
Expansions of the ordered additive group of real numbers by two discrete subgroups
Journal of Symbolic Logic | 2017-04-28 | Paper |
| Definability and decidability in expansions by generalized Cantor sets | 2017-01-29 | Paper |
A fundamental dichotomy for definably complete expansions of ordered fields
The Journal of Symbolic Logic | 2016-03-22 | Paper |
Interpreting the projective hierarchy in expansions of the real line
Proceedings of the American Mathematical Society | 2014-09-16 | Paper |
An analogue of the Baire category theorem
Journal of Symbolic Logic | 2013-04-23 | Paper |
An analogue of the Baire category theorem
Journal of Symbolic Logic | 2013-04-23 | Paper |
A dichotomy for expansions of the real field
Proceedings of the American Mathematical Society | 2013-03-05 | Paper |
Expansions which introduce no new open sets
Journal of Symbolic Logic | 2012-04-19 | Paper |
Expansions which introduce no new open sets
Journal of Symbolic Logic | 2012-04-19 | Paper |
Expansions of subfields of the real field by a discrete set
Fundamenta Mathematicae | 2011-11-18 | Paper |
Dependent pairs
Journal of Symbolic Logic | 2011-06-28 | Paper |
The real field with an irrational power function and a dense multiplicative subgroup
Journal of the London Mathematical Society | 2011-02-09 | Paper |
The real field with the rational points of an elliptic curve
Fundamenta Mathematicae | 2011-01-11 | Paper |
Defining the set of integers in expansions of the real field by a closed discrete set
Proceedings of the American Mathematical Society | 2010-06-08 | Paper |
