Modular curves and their pseudo-analytic cover

Boris Zilber, Chris Daw

We find a natural $L_{{\omega }_1,\omega }$-axiomatisation $\Sigma$ of a structure on the upper half-plane $\mathbb{H}$ as the covering space of modular curves. The main theorem states that $\Sigma$ has a…