English

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 nn-tuples in a {0,1}\{0,1\}-valued \varnothing-structure, using log2n\lceil \log_2 n \rceil 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

R2 v1 2026-07-01T11:09:09.214Z