Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 809

Preprint Number 809

Previous Next Preprint server

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.

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

Last updated: March 23 2021 10:23 Please send your corrections to: