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…
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 Matemática (CAM),…