Expansion of a semi-bounded o-minimal structure by a geometric progression

2023/02/12 by Fujita, Masato
#03C64 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/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.

Related

• Uniform local definable cell decomposition for locally o-minimal expansion of the group of reals
• D-minimal structures
• An introduction to o-minimal structures
• Locally o-minimal open core
• There exists a d-minimal expansion of the \mathbb R-vector space over \mathbb R which defines every sequence