29 citations · 43 across the 29 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
math.LO2015
A Finite Axiomatization of G-Dependence
Gianluca Paolini
We show that a form of dependence known as G-dependence (originally introduced by Grelling) admits a very natural finite axiomatization, as well as Armstrong relations. We also giv…
math.LO2015
Beyond Abstract Elementary Classes: On The Model Theory of Geometric Lattices
Tapani Hyttinen, Gianluca Paolini
Based on Crapo's theory of one point extensions of combinatorial geometries, we find various classes of geometric lattices that behave very well from the point of view of stability…
math.LO2015★ 3 cited
A Logic for Arguing About Probabilities in Measure Teams
Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen
We use sets of assignments, a.k.a. teams, and measures on them to define probabilities of first-order formulas in given data. We then axiomatise first-order properties of such prob…