Séminaire Logique mathématique ICJ
Une minuscule amelioration au Theoreme des Indecomposables
par
→
Europe/Paris
ICJ, salle 112, bât. Braconnier, UCBL - La Doua
ICJ, salle 112, bât. Braconnier, UCBL - La Doua
Description
Ce theoreme declare que, sous certaines hypotheses, une partie definissable X d'un groupe de rang de Morley fini G engendre un sous-groupe definissable ; j'en affaibli un peu les hypotheses, grace a l'introduction pour tout X definissable d'un certain sous-groupe definissable e(X) ; a son propos, je suis conduit a examiner la question : "Est-ce-qu'un sous-groupe de G finiment engendre peut contenir un groupe infini definissable ?"