Publications > Preprint server > Preprint Number 809
Preprint Number 809
809. Bruno Poizat
Indépendance et liberté
Submission date: 29 November 2014. Revised version: 5 October 2015.
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.
|Last updated: October 8 2015 13:09||Please send your corrections to:|