Submission date: 29 November 2014. Revised version: 5 October 2015.

Abstract:

We define in the infinitely generated free models of an arbitrary equational class an independance relation, which is necessarily the modeltheoric independance over the empty set when this structure happens to be an ω-homogeneous stable group. We establish the basic properties of this independance relation, give some examples, and ask some questions concerning its model-theoric behaviour (many of them dealing with the treatment of the free models in Positive Logic).

Mathematics Subject Classification:

Keywords and phrases: Algèbres libres, groupes libres, déviation, Logique Positive.

Full text: pdf. (Version of 29 November 2014: pdf)