4 papers
Transitive Extensions of Automorphism Groups of Generic Structures
Felipe Estrada
This work addresses the existence of transitive extensions of certain infinite permutation groups which arise as the automorphism groups of model-theoretic structures which are gen…
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…
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.
Model Theory of Homogeneous D-sets
Felipe Estrada, John Goodrick
We explore several model-theoretic aspects of D-sets, which were studied in detail by Adeleke and Neumann. We characterize ultrahomogeneity in the class of colored D-sets and class…