Next Wednesday M. Tellechea (CIEM-FaMAF) will give us a talk concerning sheaf representations of (universal) algebras, and a modification to attain preservation of equational formulas that define functions. Título: Una representación por haces modificada.Resumen: En esta charla hablaremos de sentencias de definición ecuacional…
Dissertation by Pablo Ventura
We are glad to invite you to the dissertation by Pablo Ventura, presenting his thesis “Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden” (Algorithms deciding definability of relations in fragments of first-order logic), under the supervision of Miguel Campercholi. This…