| Publication | Date of Publication | Type |
|---|
Torsion-free abelian groups are faithfully Borel complete and pure embeddability is a complete analytic quasi-order
Science China. Mathematics | 2025-11-19 | Paper |
The construction principle and non homogeneity of uncountable relatively free groups
Archive for Mathematical Logic | 2025-10-17 | Paper |
Torsion-free abelian groups are Borel complete
Annals of Mathematics. Second Series | 2025-03-05 | Paper |
Elementary properties of free lattices
Forum Mathematicum | 2025-02-14 | Paper |
The isomorphism problem for oligomorphic groups with weak elimination of imaginaries
Bulletin of the London Mathematical Society | 2024-08-27 | Paper |
On the existence of uncountable Hopfian and co-Hopfian abelian groups
Israel Journal of Mathematics | 2024-08-08 | Paper |
Computable Scott sentences and the weak Whitehead problem for finitely presented groups
Annals of Pure and Applied Logic | 2024-05-14 | Paper |
A universal homogeneous simple matroid of rank 3
(available as arXiv preprint) | 2024-02-09 | Paper |
| A universal homogeneous simple matroid of rank 3 | 2024-02-09 | Paper |
Invariant Universality for Projective Planes
Reports on Mathematical Logic | 2024-01-19 | Paper |
| Torsion-free abelian groups are faithfully Borel complete and pure embeddability is a complete analytic quasi-order | 2023-12-07 | Paper |
| The construction principle and non homogeneity of uncountable relatively free groups | 2023-07-20 | Paper |
Computable Scott sentences for quasi-Hopfian finitely presented structures
Archive for Mathematical Logic | 2023-04-27 | Paper |
| Anti-Classification Results for Rigidity Conditions in Abelian and Nilpotent Groups | 2023-03-07 | Paper |
First-order aspects of Coxeter groups
Journal of Algebra | 2022-01-19 | Paper |
STRONGLY MINIMAL STEINER SYSTEMS I: EXISTENCE
Journal of Symbolic Logic | 2022-01-17 | Paper |
| On the Existence of Uncountable Hopfian and co-Hopfian Abelian Groups | 2021-07-23 | Paper |
| Torsion-Free Abelian Groups are Borel Complete | 2021-02-24 | Paper |
First-order model theory of free projective planes
Annals of Pure and Applied Logic | 2020-12-15 | Paper |
First-Order Aspects of Coxeter Groups
(available as arXiv preprint) | 2020-10-25 | Paper |
Computable Scott Sentences for Quasi-Hopfian Finitely Presented Structures
(available as arXiv preprint) | 2020-10-25 | Paper |
Some Results on Polish Groups
Reports on Mathematical Logic | 2020-09-22 | Paper |
A new \(\omega\)-stable plane
Reports on Mathematical Logic | 2020-09-22 | Paper |
On a cardinal invariant related to the Haar measure problem
Israel Journal of Mathematics | 2020-05-20 | Paper |
Automorphism groups of countable stable structures
Fundamenta Mathematicae | 2020-03-04 | Paper |
Coxeter groups and abstract elementary classes: the right-angled case
Notre Dame Journal of Formal Logic | 2020-02-14 | Paper |
Coxeter groups and abstract elementary classes: the right-angled case
Notre Dame Journal of Formal Logic | 2020-02-14 | Paper |
Coxeter groups and abstract elementary classes: the right-angled case
Notre Dame Journal of Formal Logic | 2020-02-14 | Paper |
Polish topologies for graph products of groups
Journal of the London Mathematical Society | 2019-11-28 | Paper |
No uncountable Polish group can be a right-angled Artin group
Axioms | 2019-10-02 | Paper |
Reconstructing structures with the strong small index property up to bi-definability
Fundamenta Mathematicae | 2019-07-31 | Paper |
Strongly Minimal Steiner Systems I: Existence
(available as arXiv preprint) | 2019-03-08 | Paper |
Polish topologies for graph products of cyclic groups
Israel Journal of Mathematics | 2018-11-13 | Paper |
The class of non-Desarguesian projective planes is Borel complete
Proceedings of the American Mathematical Society | 2018-09-21 | Paper |
| Invariant universality for projective planes | 2018-01-30 | Paper |
The automorphism group of Hall’s universal group
Proceedings of the American Mathematical Society | 2018-01-30 | Paper |
A finite axiomatization of G-dependence
Journal of Logic, Language and Information | 2018-01-12 | Paper |
Beyond abstract elementary classes: on the model theory of geometric lattices
Annals of Pure and Applied Logic | 2017-12-06 | Paper |
Beyond abstract elementary classes: on the model theory of geometric lattices
Annals of Pure and Applied Logic | 2017-12-06 | Paper |
Polish Topologies for Graph Products of Groups
(available as arXiv preprint) | 2017-11-16 | Paper |
| The Class of Countable Projective Planes is Borel Complete | 2017-11-16 | Paper |
Group metrics for graph products of cyclic groups
Topology and its Applications | 2017-11-09 | Paper |
A logic for arguing about probabilities in measure teams
Archive for Mathematical Logic | 2017-09-15 | Paper |
A logic for arguing about probabilities in measure teams
Archive for Mathematical Logic | 2017-09-15 | Paper |
The Class of Non-Desarguesian Projective Planes is Borel Complete
(available as arXiv preprint) | 2017-07-02 | Paper |
| The Strong Small Index Property for Free Homogeneous Structures | 2017-03-30 | Paper |
Reduction of database independence to dividing in atomless Boolean algebras
Archive for Mathematical Logic | 2016-05-13 | Paper |
Dependence logic in pregeometries and \(\omega\)-stable theories
The Journal of Symbolic Logic | 2016-05-09 | Paper |
Quantum team logic and Bell's inequalities
The Review of Symbolic Logic | 2015-12-30 | Paper |
Beyond Abstract Elementary Classes: On The Model Theory of Geometric Lattices
(available as arXiv preprint) | 2015-12-04 | Paper |
Independence logic and abstract independence relations
Mathematical Logic Quarterly | 2015-06-22 | Paper |
Elementary Properties of Free Lattices
(available as arXiv preprint) | N/A | Paper |
Computable Scott sentences and the weak Whitehead problem for finitely presented groups
(available as arXiv preprint) | N/A | Paper |
The Isomorphism Problem for Oligomorphic Groups with Weak Elimination of Imaginaries
(available as arXiv preprint) | N/A | Paper |
