Xiaoduo Wang

collaborators

3 papers

math.LO2026

Delta-Cell Decomposition and Curve Selection

Xiaoduo Wang

We develop a cell decomposition framework for o-minimal structures equipped with a generic derivation. To a $I^´$ -cell we associate source cells and finite configurations in ordinar…

math.LO2026

T-Convexity, Tame Extensions and Definability of Hausdorff Limits in O-minimal Structures with Generic Derivations

Xiaoduo Wang

We study the combination of two o-minimal extensions of the theory of real closed fields: one by a T-convex subring and the other by a T-derivation. Let T be a complete, model comp…

math.LO2026

Axiomatizations of Presburger Arithmetic With Predicates For Powers

Philipp Hieronymi, Michael Reitmeir, Xiaoduo Wang

We give a complete first-order axiomatization of the structure $(Z, +, (ℓ^{N})_{ℓ \in L})$ , where $L \subseteq Z_{\geq 2}$ is a set of pairwise multipl…