UNA EXTENSION DE METODOS ALGEBRAICOS A LA TEORIA DE MODELOS

LA IDEA CENTRAL DE ESTE TRABAJO CONSISTE EN LA INTRODUCCION DEL CONCEPTO DE COCIENTE EN LA TEORIA DE MODELOS. LA CONSTRUCCION DEL COCIENTE EN ALGEBRA NO ES DIRECTAMENTE GENERALIZABLES PUES HACE USO DE ELEMENTOS NOTABLES DEL CONJUNTO. PARA VENCER ESTA DIFICULTAD SE INTRODUCE EL CONCEPTO DE M-IDEAL DEBIDO A A. ROBINSON LO QUE PERMITE DAR UNA CONSTRUCCION DEL COCIENTE. SE APLICA ESTA CONSTRUCCION A TEORIAS ALGEBRAICAS USUALES OBTENIENDO RESULTADOS PARALELOS AL CASO ALGEBRAICO LOS CUAL APOYA QUE NUESTRA DEFINICION DE COCIENTE ES APROPIAA. SE ESTUDIAN LOS PROBLEMAS CLASICOS DE LA TEORIA DE MODELOS RESPECTO DE LA CONSTRUCCION DE COCIENTE INTRODUCIDA TALES COMO: PROBLEMA DE PERSISTENCIA PROBLEMA DE FINITUD Y SU RELACION CON OTRAS CONSTRUCCIONES DE LA TEORIA DE MODELOS.