Curso de Postgrado

[Herrera Norma]

            DEPARTAMENTO DE INFORMATICA
           UNIVERSIDAD NACIONAL DE SAN LUIS   

Curso: ISOMORFISMOS PARCIALES EN TEORIA DE MODELOS

Dictado por el Dr Xavier Caicedo, profesor titular del Dpto de
Matematicas de la Universidad de los Andes (Bogota, Colombia)

FECHA: del 26/6 al 30/6
IDIOMA: espa~nol

Para mayor informacion dirigirse a: nherrera en unsl.edu.ar


________________________________________________________________________

        ISOMORFISMOS PARCIALES EN TEORIA DE MODELOS    

Los isomorfismos parciales descubiertos por Fraisse e independientemente
en forma de juegos por Ehrenfeucht, constituyen uno de los instrumentos
mas  finos de la teoria de modelos de la logica de primer orden. La
utilidad de este concepto subsiste en la logica infinitaria y a todas
las extensiones de la logica de primer orden por cuantificadores en el
sentido de Lindstrom.

En el curso se da una vision general del desarrollo y aplicaciones de los
sistemas de isomorfismos parciales en teoria de modelos, una exposicion
de la conexion fundamental entre pseudogrupos de isomorfismos parciales
y logicas abstractas, y una introduccion a los aspectos topologicos de la
teoria de modelos.

CONTENIDOS 

1. ISOMORFISMOS PARCIALES
	1.1_ Los isomorfismos parciales de Fraisse, Karp y Barwise
	1.2_ Caracterizacion y preservacion de equivalencia elemental
	1.3_ Isomorfismos parciales y juegos de Ehrenfeucht
	1.4_ Isomorfismos parciales para cuantificadores de Lindstrom
	1.5_ Sistemas inyectivos de isomorfismos parciales

2. PSEUDOGRUPOS DE ISOMORISMOS PARCIALES
	2.1_ Acciones de grupos y pseudogrupos
	2.2_ Logicas como sistemas de invariantes
	2.3_ Logicas generadas por familias de pseudogrupos
	2.4_ Substitucion y producto de pseudogrupos

3. OPERACIONES ENTRE ESPACIOS DE ESTRUCTURAS
	3.1_ Espacios de estructuras
	3.2_ Isomorfismos parciales y continuidad
	3.2_ Continuidad e interpretaciones 
	3.3_ Continuidad e interpolacion.