Resumen de Modelos generales de segundo orden
SE TRATAN DIVERSOS TEMAS DE LOGICA DE SEGUNDO ORDEN TODOS ELLOS RELACIONADOS CON EL CONCEPTO DE ESTRUCTURA GENERAL, SE PRESENTA UNA NUEVA CARACTERIZACION NO SEMANTICA DE ESTE CONCEPTO SE PRUEBAN TEOREMAS DE ISOMORFISMO Y HOMOMORFISMO Y SE DISCUTE LA DEFINIBILIDAD DE LA RELACION DE IDENTIDAD ENTRE INDIVIDUOS. SE ESTUDIAN DISTINTOS TEOREMAS DE COMPACIDAD Y DE LOWENHEIM-SKOLEM Y SE PRESENTA UN METODO DE CONSTRUCCION DE ESTRUCTURAS GENERALES. SE MUESTRA COMO REDUCIR LA LOGICA GENERAL DE SEGUNDO ORDEN A LOGICA MULTIVARIADA Y ESTA A SU VEZ A LOGICA USUAL D E PRIMER ORDEN. FINALMENTE SE APLICAN METODOS AQUI DESARROLLADOS PARA DISCUTIR ASPECTOS DE LA ARITMETICA DE SEGUNDO ORDEN. LA TESIS CONCLUYE CON UN PROCEDIMIENTO DE OBTENCION DE MODELOS DE LA ARITMETICA DE PEANO DE SEGUNDO ORDEN A PARTIR DE UNO DE PRIMER ORDEN.
