Expansion of a semi-bounded o-minimal structure by a geometric progression
arXiv:2302.06026
Abstract
We demonstrate that an expansion of a semi-bounded o-minimal expansion of the ordered group of reals by an increasing geometric progression is locally o-minimal.
There is a gap in Lemma 2.3