Ampleness in the Farey graph
Zahra Mohammadi Khangheshlaghi, Rizos Sklinos
math.LOarXiv:2609.02427
Abstract
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.
Create a lesson
Related papers
A choice-free proof of the Erdös--Dushnik--Miller theorem
Guozhen Shen
Baumslag-Solitar Subgroups Obstruct Model Companions for Fields with Group Actions
Makoto Yanagawa
The Composition Lemma for n-dependence
Artem Chernikov, Yuyan He
The weakness of typicality
Eric P. Astor, Laurent Bienvenu, Damir Dzhafarov et al.
Modalities in non-classical variations of S4
Leonardo Pacheco
Infinite Communication Complexity and KW Games
Evan Leach