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.LO2025
Limit Semigroups with 2 Generators
Felipe Estrada, Alf Onshuus, David Rincon
In this paper we study the limit theory of numerical semigroups with two generators. We give a complete axiomatization in some cases.