11 citations · 12 across the 3 of their papers we have counts for
3 papers
math.LO2020★ 1 cited
Pierce stalks in preprimal varieties
D. Vaggione, W. J. Zuluaga Botero
An algebra is called \textit{preprimal} if is finite and $\func{Clo}(\mathbf{P})$ is a maximal clone. A \textit{preprimal variety} is a variety generated…
math.LO2015
Semantical conditions for the definability of functions and relations
Miguel Campercholi, Diego Vaggione
Let be first order languages, let be a relation symbol, and let be a class of…
math.LO2008★ 11 cited
Varieties with Definable Factor Congruences
Pedro Sánchez Terraf, Diego J. Vaggione
We study direct product representations of algebras in varieties. We collect several conditions expressing that these representations are "definable" in a first-order-logic sense,…