Ponente: Gabriela Campero (Facultad de Ciencias-UNAM)
05/02/2013
de 12:00 a 13:00
Dónde Salón "Graciela Salicrup"
Resumen:
Describiré un área de investigación en la que se vinculan la Teoría de Modelos (Lógica Matemática) y la Combinatoria. El objetivo es clasificar estructuras relacionales, por ejemplo, órdenes de distintos tipos, gráficas, etc. Para lograr estas clasificaciones se imponen a dichas estructuras condiciones de cardinalidad, en este caso a lo más numerables, y de simetría, a saber, n-transitividad y n-homogeneidad (con n un número natural). Además, expondré algunas de las implicaciones que se conocen entre estas propiedades de simetría según la estructura relacional de la que se trate.
Temas: