发表机构
Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
该研究证明法里图的一阶理论是1-丰度但非2-丰度的，同时证明其弱消去虚元且分叉平凡，推进了模型论中关于法里图的丰度性相关研究。
AI 中文摘要
我们证明法里图的一阶理论是1-丰度但非2-丰度的，在此过程中，我们证明它弱消去虚元，并观察到分叉是平凡的。
英文摘要
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.
