Dependence Logic in Pregeometries and $\omega$-Stable Theories

Gianluca Paolini, Jouko Väänänen

We present a framework for studying the concept of independence in a general context covering database theory, algebra and model theory as special cases. We show that well-known ax…