Explicit affine formulas for distances between tuples in classical discrete structures
Arthur Molina-Mounier
所有作者
Arthur Molina-Mounier
文献摘要
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 ∅-structure, using ⌈log2n⌉ quantifier alternations.