Gianluca Paolini

According to our database, Gianluca Paolini authored at least 17 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2024

Computable Scott sentences and the weak Whitehead problem for finitely presented groups.

Gianluca Paolini

Ann. Pure Appl. Log., 2024

2023

Computable scott sentences for quasi-Hopfian finitely presented structures.

Gianluca Paolini

Arch. Math. Log., 2023

2021

Strongly Minimal Steiner Systems I: existence.

John Baldwin, Gianluca Paolini

J. Symb. Log., 2021

First-order model theory of free projective planes.

Tapani Hyttinen, Gianluca Paolini

Ann. Pure Appl. Log., 2021

2020

Some Results on Polish Groups.

Gianluca Paolini, Saharon Shelah

Reports Math. Log., 2020

A New ω-Stable Plane.

Gianluca Paolini

Reports Math. Log., 2020

2019

Coxeter Groups and Abstract Elementary Classes: The Right-Angled Case.

Tapani Hyttinen, Gianluca Paolini

Notre Dame J. Formal Log., 2019

Polish topologies for graph products of groups.

Gianluca Paolini, Saharon Shelah

J. Lond. Math. Soc., 2019

2018

Independence in Model Theory and Team Semantics.

Gianluca Paolini

Bull. Symb. Log., 2018

Beyond abstract elementary classes: On the model theory of geometric lattices.

Tapani Hyttinen, Gianluca Paolini

Ann. Pure Appl. Log., 2018

2017

A Finite Axiomatization of G-Dependence.

Gianluca Paolini

J. Log. Lang. Inf., 2017

No Uncountable Polish Group Can be a Right-Angled Artin Group.

Gianluca Paolini, Saharon Shelah

Axioms, 2017

A logic for arguing about probabilities in measure teams.

Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen

Arch. Math. Log., 2017

2016

Dependence Logic in pregeometries and <i>ω</i>-stable Theories.

Gianluca Paolini, Jouko Väänänen

J. Symb. Log., 2016

Reduction of database independence to dividing in atomless Boolean algebras.

Tapani Hyttinen, Gianluca Paolini

Arch. Math. Log., 2016

2015

Quantum Team Logic and Bell's inequalities.

Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen

Rev. Symb. Log., 2015

Independence logic and abstract independence relations.

Gianluca Paolini

Math. Log. Q., 2015