{"id":"arxiv/2604.24522","url":"https://arxiv.org/abs/2604.24522","tags":["math.LO"],"score":0,"title":"NTP2 topological structures","domain":"math.LO","source":"arxiv","authors":["Pablo Andújar Guerrero"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-27","reactions":{}}