Abstract

We will study some aspects of the local structure of models of certain C-minimal theories. We will prove (theorem 19) that, in a sufficiently saturated C-minimal structure in which the algebraic closure has the exchange property and which is locally modular, we can construct an infinite type-definable group around any non trivial point (a term to be defined later). On va étudier ici certains aspects de la structure locale des modèles de certaines théories C-minimales. On va prouver (théorème 19) que, dans une structure C-minimale suffisamment saturée, localement modulaire et dans laquelle la clôture algébrique permet de définir une notion de dimension, on peut construire un groupe type-définissable infini autour de tout point non trivial (terme à définir par la suite)