49. On the problem of stability of abstract elementary classes of modules, with Saharon Shelah.
Submitted. [arXiv]
48. Elementary properties of free lattices III: Undecidability of the full theory, with J. B. Nation.
Submitted. [arXiv]
47. The epimorphism relation among countable groups is a complete analytic quasi-order, with Su Gao, Feng Li and André Nies.
Submitted. [arXiv]
46. Borel completeness of Tits buildings with no rank 3 residues of spherical type, with Davide Emilio Quadrellaro.
Submitted. [arXiv]
45. First-order aspects of Artin groups, with Alberto Cassella and Giovanni Paolini.
Submitted. [arXiv]
44. A Galois correspondence for automorphism groups of structures with the Lascar Property, with Federico Pisciotta.
Submitted. [arXiv]
43. Profinite rigidity of crystallographic groups arising from Lie theory, with Davide Carolillo.
Submitted. [arXiv]
42. A new construction principle, with Tapani Hyttinen and Davide Emilio Quadrellaro.
Submitted. [arXiv]
41. Homogeneity in Coxeter groups and split crystallographic groups, with Simon André.
Submitted. [arXiv]
40. Elementary properties of free lattices II: Decidability of the universal theory, with J. B. Nation.
Submitted. [arXiv]
39. On the model theory of open incidence structures: The rank 2 case, with Davide Emilio Quadrellaro.
Submitted. [arXiv]
38. Oligomorphic groups, their automorphism groups, and the complexity of their isomorphism, with Andre Nies.
Submitted. [arXiv]
37. $\aleph_1$-free abelian non-Archimedean Polish groups, with Saharon Shelah.
Submitted. [arXiv]
36. Around first-order rigidity of Coxeter groups, with Simon André.
Submitted. [arXiv]
35. Profinite rigidity of affine Coxeter groups, with Rizos Sklinos.
Submitted. [arXiv]
34. The isomorphism problem for oligomorphic groups with weak elimination of imaginaries.
Bull. Lond. Math. Soc. 56 (2024), no. 08, 2597-2614. [arXiv][DOI]
33. Computable Scott sentences and the weak Whitehead problem for finitely presented groups.
Ann. Pure Appl. Logic 175 (2024), no. 07, 103441. [arXiv][DOI]
32. Torsion-free abelian groups are faithfully Borel complete and pure embeddability is a complete analytic quasi-order, with Saharon Shelah.
Sci. China Math. 68 (2025), no. 12, 2809-2814. [arXiv][DOI]
31. Elementary properties of free lattices, with J. B. Nation.
Forum Math. 37 (2025), no. 02, 581-592. [arXiv][DOI]
30. The construction principle and non homogeneity of uncountable relatively free groups, with Davide Carolillo.
Arch. Math. Logic 64 (2025), 1181–1195. [arXiv][DOI]
29. Anti-classification results for rigidity conditions in abelian and nilpotent groups, with Saharon Shelah.
Submitted. [arXiv]
28. On the existence of uncountable Hopfian and co-Hopfian abelian groups, with Saharon Shelah.
Israel J. Math. 257 (2023), 533–560. [arXiv][DOI]
27. Torsion-free abelian groups are Borel complete, with Saharon Shelah.
Ann. of Math. (2) 199 (2024), no. 03, 1177-1224. [arXiv][DOI]
26. First-order aspects of Coxeter groups, with Bernhard Mühlherr and Saharon Shelah.
J. Algebra 595 (2022), 297-346. [arXiv][DOI]
25. Computable Scott sentences for quasi-Hopfian finitely presented structures.
Arch. Math. Logic 62 (2023), 55–65. [arXiv][DOI]
24. Strongly minimal Steiner systems I: existence, with John Baldwin.
J. Symb. Log., 86 (2021), no. 04, 1486-1507. [arXiv][DOI]
23. First-order model theory of free projective planes, with Tapani Hyttinen.
Ann. Pure Appl. Logic 172 (2021), no. 02, 102888. [arXiv][DOI]
22. Some results on Polish groups, with Saharon Shelah.
Rep. Math. Logic, 55 (2020), 61-71. [arXiv][DOI]
21. On a cardinal invariant related to the Haar measure problem, with Saharon Shelah.
Israel J. Math., 236 (2020), 305–316. [arXiv][DOI]
20. Polish topologies for graph products of groups, with Saharon Shelah.
J. Lond. Math. Soc. 100 (2019), no. 02, 383-403. [arXiv][DOI]
19. Automorphism groups of countable stable structures, with Saharon Shelah.
Fund. Math. 248 (2020), 301-307. [arXiv][DOI]
18. A universal homogeneous simple matroid of rank $3$.
Bol. Mat. (UNAL, Colombia) 25 (2018), no. 01, 39-48. [arXiv][DOI]
17. A new $\omega$-stable plane.
Rep. Math. Logic, 55 (2020), 87-111. [arXiv][DOI]
16. Invariant universality for projective planes.
Rep. Math. Logic, 58 (2023), 15-27. [arXiv][DOI]
15. The class of non-Desarguesian projective planes is Borel complete.
Proc. Amer. Math. Soc. 146 (2018), 4927-4936. [arXiv][DOI]
14. Group metrics for graph products of cyclic groups, with Saharon Shelah.
Topology Appl. 232 (2017), 281-287. [arXiv][DOI]
13. Polish topologies for graph products of cyclic groups, with Saharon Shelah.
Israel J. Math. 228 (2018), 305-319. [arXiv][DOI]
12. The automorphism group of Hall's universal group, with Saharon Shelah.
Proc. Amer. Math. Soc. 146 (2018), 1439-1445. [arXiv][DOI]
11. The strong small index property for free homogeneous structures, with Saharon Shelah.
Research Trends in Contemporary Logic, College Publications, London, 2020. [arXiv][DOI]
10. Reconstructing structures with the strong small index property up to bi-definability, with Saharon Shelah.
Fund. Math. 247 (2019), 25-35. [arXiv][DOI]
9. No uncountable Polish group can be a right-angled Artin group, with Saharon Shelah.
Axioms 6 (2017), no. 2: 13. [arXiv][DOI]
8. Coxeter groups and abstract elementary classes: the right-angled case, with Tapani Hyttinen.
Notre Dame J. Form. Log. 60 (2019), no. 4, 707-731. [arXiv][DOI]
7. Beyond abstract elementary classes: on the model theory of geometric lattices, with Tapani Hyttinen.
Ann. Pure Appl. Logic 169 (2018), no. 02, 117-145. [arXiv][DOI]
6. A finite axiomatization of G-dependence.
J. Log. Lang. Inf. 26 (2017), no. 3, 293-302. [arXiv][DOI]
5. A logic for arguing about probabilities in measure teams, with Tapani Hyttinen and Jouko Väänänen.
Arch. Math. Logic 56 (2017), no. 5-6, 475-489. [arXiv][DOI]
4. Reduction of database independence to dividing in atomless Boolean algebras, with Tapani Hyttinen.
Arch. Math. Logic 55 (2016), no. 3, 505-518. [arXiv][DOI]
3. Quantum team logic and Bell's inequalities, with Tapani Hyttinen and Jouko Väänänen.
Rev. Symb. Log. 8 (2015), no. 4, 722-742. [arXiv][DOI]
2. Independence logic and abstract independence relations.
Math. Log. Q. 61 (2015), no. 3, 202-216. [arXiv][DOI]
1. Dependence logic in pregeometries and $\omega$-stable theories, with Jouko Väänänen.