We show that the first-order theory of the Farey graph is 11-ample but not 22-ample. Along the way, we prove that it weakly eliminates imaginaries and observe that forking is trivial.
生成讲解博客的中文版本
生成AI智能校验的中文版本