3 papers
math.LO2018
Around logical perfection
John Alexander Cruz Morales, Andrés Villaveces, Boris Zilber
In this article we present and describe a notion of "logical perfection". We extract the notion of "perfection" from the contemporary logical concept of categoricity. Categoricity…
math.LO2017
The small index property for homogeneous models in AECs
Zaniar Ghadernezhad, Andrés Villaveces
We prove a version of a small index property theorem for strong amalgamation classes. Our result builds on an earlier theorem by Lascar and Shelah (in their case, for saturated mod…
math.LO2016
Non-standard cohomology for equivariant sheaves: The role of generic models
Gabriel Padilla, Andres Villaveces
We generalize the Generic Model Theorem for equivariant presheaves of structures; extending the results of Macintyre and Caicedo. We also introduce a new class of generic cohomolog…