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).
Citation
Fares Maalouf. "Construction d’un groupe dans les structures C-minimales." J. Symbolic Logic 73 (3) 957 - 968, September 2008. https://doi.org/10.2178/jsl/1230396759
Information