Favio Pinto
Matemática aplicada a la biología
Actualmente desarrollando la Tesis doctoral bajo la dirección del Dr. Diego Vaggione (UNC-FAMaF) y la co-dirección del Dr. Germán Torres (IMIT, CONICET-UNNE).
Tema: Variedades con Congruencias Factor Universalmente Definibles
El objetivo de este trabajo es el estudio de la definibilidad de las congruencias factor, y por ende de las representaciones en producto directo, de las algebras en variedades con 0 y 1. En algunos trabajos se caracterizó por completo el caso de aquellas variedades que admiten definibilidad ecuacional, el cual abarca gran parte de los casos clásicos; como por ejemplo podemos citar las variedades de congruencias distributivas o congruencias permutables. Se ha caracterizado el caso de definibilidad existencial de las congruencias factor el cual abarca, por ejemplo, el caso de aquellas variedades con la propiedad Fraser-Horn. Nos proponemos ahora estudiar el siguiente gran grupo de variedades; el de aquellas que admiten definibilidad universal de las congruencias factor. Cabe señalar que con el análisis de la definibilidad universal se completa el estudio de todos los casos de definibilidad de las congruencias factor conocidos hasta el momento.