Explicit affine formulas for distances between tuples in classical discrete structures
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 n-tuples in a \0,1\-valued -structure, using 2 n quantifier alternations.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.