Pseudofiniteness of the Farey Graph

Connor Martinez Lockhart

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 axiomatizatio…