Gianluca Paolini

Einstein Institute of Mathematics
Hebrew University of Jerusalem
Edmond J. Safra Campus, Givat Ram, 9190401, Jerusalem
E-mail: gianluca.paolini(at), paolinigianluca(at)

Curriculum vitae
Associations: AILA, SLS.
Links: Google scholar citations, ArXiv preprints, MathSciNet.

I am Postdoctoral Research Fellow at the Einstein Institute of Mathematics of the Hebrew University of Jerusalem, under the supervision of Prof. Saharon Shelah. I work in mathematical logic. My current research interests are:
  • Model theory/Descriptive set theory: homogeneous model theory, combinatorial model theory, automorphism groups, Polish groups.
  • Algebra/Combinatorics: combinatorial group theory, geometric group theory, algebraic combinatorics, matroid theory, graph theory.


  1. Polish Topologies for Graph Products of Groups, with Saharon Shelah.
    In preparation.
  2. The Random Plane and its Automorphism Group.
    Submitted. [arXiv]
  3. The Class of Countable Locally Finite Planes is Borel Complete.
    Submitted. [arXiv]
  4. Group Metrics for Graph Products of Cyclic Groups, with Saharon Shelah.
    Submitted. [arXiv]
  5. Polish Topologies for Graph Products of Cyclic Groups, with Saharon Shelah.
    Submitted. [arXiv]
  6. The Automorphism Group of Hall's Universal Group, with Saharon Shelah.
    Proc. Amer. Math. Soc., to appear. [arXiv]
  7. The Strong Small Index Property for Free Homogeneous Structures, with Saharon Shelah.
    Submitted. [arXiv]
  8. Reconstructing Structures with the Strong Small Index Property up to Bi-Definability, with Saharon Shelah.
    Submitted. [arXiv]
  9. No Uncountable Polish Group Can be a Right-Angled Artin Group, with Saharon Shelah.
    Axioms 6 (2017), no. 2: 13. [arXiv][DOI]
  10. Coxeter Groups and Abstract Elementary Classes: The Right-Angled Case, with Tapani Hyttinen.
    Submitted. [arXiv]
  11. Beyond Abstract Elementary Classes: On The Model Theory of Geometric Lattices, with Tapani Hyttinen.
    Submitted. [arXiv]
  12. A Finite Axiomatization of G-Dependence.
    J. Log. Lang. Inf., to appear. [arXiv]
  13. A Logic for Arguing About Probabilities in Measure Teams, with Tapani Hyttinen and Jouko Väänänen.
    Arch. Math. Logic, to appear. [arXiv]
  14. Reduction of Database Independence to Dividing in Atomless Boolean Algebras, with Tapani Hyttinen.
    Arch. Math. Logic 55 (2016), no. 3, 505-518. [arXiv][DOI]
  15. 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]
  16. Independence Logic and Abstract Independence Relations.
    Math. Log. Q. 61 (2015), no. 3, 202-216. [arXiv][DOI]
  17. Dependence Logic in Pregeometries and $\omega$-Stable Theories, with Jouko Väänänen.
    J. Symb. Log. 81 (2016), no. 1, 32-55. [arXiv][DOI]