Explicit affine formulas for distances between tuples in classical discrete structures
Logic
2026-03-10 v1
Abstract
Answering a question of Ben Yaacov, Ibarluc\'ia, and Tsankov [5], we show an explicit way to construct an affine formula for the distance between two -tuples in a -valued -structure, using quantifier alternations.
Keywords
Cite
@article{arxiv.2603.07623,
title = {Explicit affine formulas for distances between tuples in classical discrete structures},
author = {Arthur Molina-Mounier},
journal= {arXiv preprint arXiv:2603.07623},
year = {2026}
}
Comments
25 pages