The Farey graph is a mathematical object built from fractions. Take all fractions p/q in lowest terms (including 0/1 and 1/0 as special cases), and connect two of them with an edge whenever their numerators and denominators satisfy a simple condition: |ad - bc| = 1 for fractions a/b and c/d. The result is an infinite graph with remarkably rich structure that shows up in number theory, hyperbolic geometry, and other areas of mathematics.
The paper investigates this graph using the tools of model theory, which is a branch of mathematical logic concerned with what can be expressed or "seen" by formal logical languages. One central question in model theory is how complex the logical structure of a given object is. The authors focus on a property called "ampleness," which roughly measures how much geometry is encoded in the logical theory of the structure. A structure being "n-ample" means it contains a certain kind of combinatorial complexity at level n. The authors prove that the Farey graph sits at a precise level: it is 1-ample but not 2-ample. This places it in an interesting middle ground, more complex than the simplest structures but not as wild as objects like fields.
Along the way, the authors establish two additional results that help pin down the logical character of the Farey graph. First, they show it "weakly eliminates imaginaries," meaning that certain abstract auxiliary objects introduced for logical convenience can be approximated well by concrete elements of the graph itself. Second, they observe that "forking," a notion that captures when one piece of information genuinely constrains another, behaves in the simplest possible way here. Together, these results give a fairly complete picture of where the Farey graph sits in the landscape of structures studied by model theorists.