{"id":"arxiv/2609.02427","url":"https://arxiv.org/abs/2609.02427","tags":["math.LO"],"score":0,"title":"Ampleness in the Farey graph","domain":"math.LO","source":"arxiv","authors":["Zahra Mohammadi Khangheshlaghi","Rizos Sklinos"],"reviews":0,"subject":"math.LO","summary":"We show that the first-order theory of the Farey graph is $1$-ample but not $2$-ample. Along the way, we prove that it weakly eliminates imaginaries and observe that forking is trivial.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-02","reactions":{}}