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 globalesResumen: Las representaciones globales son de interés por su utilidad en el área de la definibilidad, al preservar propiedades existenciales en los factores. Esta propiedad es la gran diferencia con las representaciones subdirectas, que si bien tienen buenas cualidades de preservación, no nos permiten axiomatizar con sentencias que hablen de existencia de elementos.
El objetivo de este trabajo es aprovechar los resultados con pruebas constructivas para plantear algoritmos en la elaboración de los elementos característicos de una cuasivariedad por representaciones globales (los elementos relativamente globalmente indescomponibles) y también por representaciones subdirectas (los elementos relativamente subdirectamente irreducibles). Por último vamos a presentar unas implementaciones de estos procedimientos en el paquete Definability.
(source)