2025/10/29 by Kawakami, Tomohiro, Tanaka, Hiroshi
#03C64 #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2510.26013
In an o-minimal structure, Wilkie proved that every bounded definable open set is a finite union of definable open cells. We generalze it to weakly o-minimal structures.