{"id":"arxiv/2603.19786","url":"https://arxiv.org/abs/2603.19786","tags":["math.LO"],"score":0,"title":"Distal Expansions of the Integers and the $p$-adic Fields","domain":"math.LO","source":"arxiv","authors":["Koki Okura"],"reviews":0,"subject":"math.LO","summary":"This paper investigates expansions of distal structures by a unary subset that arises as the image of a projection map. We first provide a sufficient condition for such an expansion to remain distal. Based on this criterion, we establish the distality of three kinds of expansions involving the integers or the $p$-adic fields. Let $R$ be an almost sparse sequence. We prove that $(\\mathbb{Z};<,+,R)$ is distal, thereby answering a question posed by Tong. Furthermore, we show the distality of $(\\mathbb{Q}_p;+,\\cdot,p^{\\mathbb{Z}})$ and $(\\mathbb{Q}_p;+,\\cdot,p^{\\mathbb{Z}},p^R)$.The latter…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-20","reactions":{}}