NTP2 topological structures
A subset of a topological space is constructible if it is a finite Boolean combination of closed sets. We prove that every NTP$_2$ expansion of $(\mathbb{R},<,+)$ by constructible sets defines only constructible sets, and that definable functions are generically piecewise continuous. The result also holds for all NTP$_2$ expansions of $(\mathbb{Q}_p,+,\cdot)$, and all NTP$_2$ definably complete expansions of ordered groups. In the latter case, the structure is generically locally o-minimal, has definable choice, and carries a well-behaved notion of naive topological dimension. For NIP…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.24522
curl -X POST /api/v1/records/arxiv/2604.24522/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.24522/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'