About

These webpages were developed by Pedro ST with some help of the other group members. Special thanks go to Paula Zeballos and the support team at FaMAF for their care and assistance.

The drawings on the background appear in the paper on pages 1-10 of this UMA journal issue, and they picture counterexamples to some incomplete characterizations of factor congruences in semilattices.
semilat_contraejs

The whole site was created using free software.


Some News

Reuniones de Teoría de Conjuntos

Los lunes a las 14:30, en el aula 24 de FaMAF nos estamos juntando a charlar y pensar sobre temas elementales sobre Teoría de Conjuntos. Los requisitos son haber cursado Topología y Funciones reales.

En esta ocasión discutiremos juegos infinitos y los primeros problemas relacionados con ellos. Una introducción a lo que veremos se puede leer aquí. Además, hay abundantes conexiones entre juegos y propiedades como medibilidad Lebesgue, categoría de Baire, y los cardinales grandes (¡pero esto quedará para otra juntada!).

Read more

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 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.

Read more

Congrats Martín Moroni!

Martín Moroni has passed the qualifying examinations required in the PhD program in our university. We want to warmly congratulate him and encourage him to keep the hard work. Good luck!


Estamos muy felices de anunciar que Martín Moroni aprobó los exámenes de doctorado, estipulados en dicha carrera de posgrado en Matemática de nuestra universidad. ¡Seguí trabajando duro!

Read more

Members of our group enter the Research Incentives Program

We would like to congratulate Mariana Badano and Mauricio Tellechea for having been categorized in the Program of Incentives for Research for faculty members. Both of them now have the initial Category 5. Good luck and keep on working!


Queremoms felicitar a los miembros del grupo, Mariana Badano y Mauricio Tellechea, por haber ingresado al Programa de Incentivos a la investigación. Ambos lo hicieron en la Categoría V (Inicial). ¡Que siga el trabajo!

Read more

Dissertation by Pablo Ventura

We are glad to invite you to the dissertation by Pablo Ventura, presenting his thesis “Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden” (Algorithms deciding definability of relations in fragments of first-order logic), under the supervision of Miguel Campercholi. This thesis was submitted for the degree of Bachelor (Licenciatura) in Computer Science.

Read more