{"id":"arxiv/2603.23900","url":"https://arxiv.org/abs/2603.23900","tags":["math.LO"],"score":0,"title":"Pseudofiniteness of the Farey Graph","domain":"math.LO","source":"arxiv","authors":["Connor Martinez Lockhart"],"reviews":0,"subject":"math.LO","summary":"We prove that the theory of the Farey graph is pseudofinite by constructing a sequence of finite structures that satisfy increasingly large subsets of its first-order axiomatization. This graph is an important object in the study of curve graphs, and its model-theoretic properties have been explored in the broader context of curve graphs of surfaces in arXiv:2008.10490 The theory of the Farey graph was recently axiomatized by Tent and Mohammadi in arXiv:2503.02121 We show that while no finite planar graph can satisfy these axioms for sufficiently large substructures, they can be satisfied by…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-25","reactions":{}}