Definability of Hausdorff Limits for Lipschitz Cells in O-minimal Structures
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.14033
curl -X POST /api/v1/records/arxiv/2608.14033/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.14033/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'