Ampleness in the Farey graph
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.
math.LO↗
arXiv subjects
Zahra Mohammadi Khangheshlaghi
Publications and source records attributed to Zahra Mohammadi Khangheshlaghi.
On the model theory of the Farey graph
We axiomatize the theory of the Farey graph and prove that it is $ω$-stable of Morley rank $ω$.
math.LO↗
On the model theory of the Free Factor Complex of rank 2
We begin the investigation of the free factor complex of a free group of finite rank. For the case of rank 2 we axiomatize its theory and show that it is $ω$-stable with prime model $AF_2$.
math.GR↗