Papers

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., published online. [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, accepted for publication. [arXiv]

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). [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. 

J. Symb. Log. 81 (2016), no. 1, 32-55. [arXiv][DOI]