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…
Trabajo Final: Gonzalo Zigarán.
Tenemos el placer de anunciar la presentación de Trabajo Final de Licenciatura en Matemática de Gonzalo Zigarán, bajo la dirección de Diego Vaggione. Fecha: Viernes 5 de mayo de 2017 16:30hs. Lugar: Aula Magna FaMAF. Título: Algoritmos para representaciones globales Resumen: Las…
Miguel Campercholi, 2016-04-20: “Subálgebras épicas y funciones primitvas positivas”
Next Wednesday M. Campercholi (CIEM-FaMAF) will give us a talk that addresses the problem of characterizing epimorphisms in classes of algebras. Título: Subálgebras épicas y funciones primitvas positivas Resumen: Sean $\mathbf{A}\leq\mathbf{B}$ álgebras y $\mathcal{K}$ una clase. Diremos que $\mathbf{A}$ es una subálgebra…
Miguel Campercholi, 2015-11-26: “Definibilidad en lógica de primer orden”
Esta semana el Seminario de Lógica se integra al “Día de la Matemática” a realizarse el jueves 26 de noviembre de 14 a 18 hs en el Aula Magna de FaMAF. Esta jornada, a iniciativa de la Comisión Asesora de…