Pseudofiniteness of the Farey Graph
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.23900
curl -X POST /api/v1/records/arxiv/2603.23900/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.23900/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'