First-order definability of Darmon points in number fields

Juan Pablo De Rasis, Hunter Handley

For a given number field $K$, we give a $\forall \exists \forall$-first order description of affine Darmon points over ${\mathbb{P}}_K^1$, and show that this can be improved to a $\for…