Next Monday, Pablo Ventura will talk about deciding whether a relation is definable by an open first-order formula. Título: Algoritmos para decidir definibilidad abierta. Resumen: Presentaremos algoritmos para decidir definibilidad utilizando las caracterizaciones semánticas de la definibilidad dadas en “Semantical conditions…
Congratulations to Pablo Ventura!
We want to congratulate Pablo Ventura for being awarded with a Conicet PhD scholarship spanning 5 years. This is a result of the ongoing research project with his adviser, Miguel Campercholi.