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 for the definability of functions and relations” de Miguel Campercholi y Diego Vaggione. Primero mostraremos rápidamente un algoritmo para decidir definibilidad en estructuras relacionales basado en la búsqueda de isomorfismos internos y luego mostraremos como adaptar estas ideas para decidir definibilidad sobre álgebras, donde buscamos isomorfismos internos mediante la partición de los tuplas de la relación a definir por tipos de isomorfismo.
(source)