Independence logic and abstract independence relations. - Gianluca Paolini (Math. Log. Q., 2015)

Quantum Team Logic and Bell's inequalities. - Tapani Hyttinen; Gianluca Paolini; Jouko Väänänen (Rev. Symb. Log., 2015)

Reduction of database independence to dividing in atomless Boolean algebras. - Tapani Hyttinen; Gianluca Paolini (Arch. Math. Log., 2016)

Dependence Logic in pregeometries and ω-stable Theories. - Gianluca Paolini; Jouko Väänänen (J. Symb. Log., 2016)

A logic for arguing about probabilities in measure teams. - Tapani Hyttinen; Gianluca Paolini; Jouko Väänänen (Arch. Math. Log., 2017)

No Uncountable Polish Group Can be a Right-Angled Artin Group. - Gianluca Paolini; Saharon Shelah (Axioms, 2017)

A Finite Axiomatization of G-Dependence. - Gianluca Paolini (J. Log. Lang. Inf., 2017)

Beyond abstract elementary classes: On the model theory of geometric lattices. - Tapani Hyttinen; Gianluca Paolini (Ann. Pure Appl. Log., 2018)

Independence in Model Theory and Team Semantics. - Gianluca Paolini (Bull. Symb. Log., 2018)

Polish topologies for graph products of groups. - Gianluca Paolini; Saharon Shelah (J. Lond. Math. Soc., 2019)

Coxeter Groups and Abstract Elementary Classes: The Right-Angled Case. - Tapani Hyttinen; Gianluca Paolini (Notre Dame J. Formal Log., 2019)

A New ω-Stable Plane. - Gianluca Paolini (Reports Math. Log., 2020)

Some Results on Polish Groups. - Gianluca Paolini; Saharon Shelah (Reports Math. Log., 2020)

First-order model theory of free projective planes. - Tapani Hyttinen; Gianluca Paolini (Ann. Pure Appl. Log., 2021)

Strongly Minimal Steiner Systems I: existence. - John Baldwin; Gianluca Paolini (J. Symb. Log., 2021)

Computable scott sentences for quasi-Hopfian finitely presented structures. - Gianluca Paolini (Arch. Math. Log., 2023)

Invariant Universality for Projective Planes. - Gianluca Paolini (Reports Math. Log., 2023)

Computable Scott sentences and the weak Whitehead problem for finitely presented groups. - Gianluca Paolini (Ann. Pure Appl. Log., 2024)