2 papers
math.LO2026
Quantifier elimination for lovely pairs of strongly geometric fields
Pablo Cubides Kovacsics, Felipe Estrada, Juan Pérez +1
Let be a complete strongly geometric theory of fields with quantifier elimination. We show that the theory of lovely pairs of has quantifier elimination in Delon's definiti…
math.AG2023
Orbifolds and the modular curve
Juan Martín Pérez, Florent Schaffhauser
We provide an account of the construction of the moduli stack of elliptic curves as an analytic orbifold. While intimately linked to Thurston's point of view on the subject (discre…