Xiaoduo Wang

collaborators

4 papers

math.LO2026

Definability of Hausdorff Limits for Lipschitz Cells in O-minimal Structures

Xiaoduo Wang

We study Hausdorff limits of definable families over arbitrary models of o-minimal expansions of real closed fields. Over the real field, van den Dries proved that Hausdorff limits…

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 $δ$ -cell we associate source cells and finite configurations in ordinary…

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…

math.LO2025

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…