{"id":"arxiv/2608.14033","url":"https://arxiv.org/abs/2608.14033","tags":["math.LO"],"score":0,"title":"Definability of Hausdorff Limits for Lipschitz Cells in O-minimal Structures","domain":"math.LO","source":"arxiv","authors":["Xiaoduo Wang"],"reviews":0,"subject":"math.LO","summary":"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 of definable families are definable, giving a geometric interpretation of the Marker--Steinhorn theorem. We prove a non-Archimedean analogue for definable families which are Lipschitz cells with a fixed cell presentation and a uniform Lipschitz bound. The proof replaces compactness of closed and bounded subsets of $\\mathbb R^n$ by dense completions and long Cauchy sequences, and treats the Hausdorff distance as a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-14","reactions":{}}