{"id":"arxiv/2603.07623","url":"https://arxiv.org/abs/2603.07623","tags":["math.LO"],"score":0,"title":"Explicit affine formulas for distances between tuples in classical discrete structures","domain":"math.LO","source":"arxiv","authors":["Arthur Molina-Mounier"],"reviews":0,"subject":"math.LO","summary":"Answering a question of Ben Yaacov, Ibarlucía, and Tsankov [5], we show an explicit way to construct an affine formula for the distance between two $n$-tuples in a $\\{0,1\\}$-valued $\\varnothing$-structure, using $\\lceil \\log_2 n \\rceil$ quantifier alternations.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-08","reactions":{}}