Group construction in non-trivial geometric $C$-minimal structures
Logic
2014-10-16 v1
Abstract
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 bounded interval and an unbounded one in its canonical tree. No kind of linearity is assumed.
Cite
@article{arxiv.1410.4045,
title = {Group construction in non-trivial geometric $C$-minimal structures},
author = {Françoise Delon and Fares Maalouf},
journal= {arXiv preprint arXiv:1410.4045},
year = {2014}
}