2 papers
math.LO2014
Group construction in non-trivial geometric -minimal structures
Françoise Delon, Fares Maalouf
We show that an infinite group is definable in any non trivial geometric -minimal structure which is definably maximal and does not have any definable bijection between a bounde…
math.LO2014
Definable types in algebraically closed valued fields
Pablo Cubides-Kovacsics, Françoise Delon
Marker and Steinhorn shown that given two models of an o-minimal theory, if all 1-types over realized in are definable, then all types over realized in a…