EL OBJETIVO ES OBTENER NUEVOS RESULTADOS EN TEORIA DE MODELOS, RAMA PRINCIPAL DE LA LOGICA MATEMATICA Y EN EL AREA AFIN DE LAS ALGEBRAS DE BOOLE Y ESPACIOS TOPOLOGICOS RELACIONADOS, ASI COMO APLICACIONES A TEMAS DE TEORIA DE LA D...
ver más
Fecha límite participación
Sin fecha límite de participación.
Financiación
concedida
El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto
el día 2011-01-01
No tenemos la información de la convocatoria
0%
100%
Información adicional privada
No hay información privada compartida para este proyecto. Habla con el coordinador.
¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video
Fecha límite de participación
Sin fecha límite de participación.
Descripción del proyecto
EL OBJETIVO ES OBTENER NUEVOS RESULTADOS EN TEORIA DE MODELOS, RAMA PRINCIPAL DE LA LOGICA MATEMATICA Y EN EL AREA AFIN DE LAS ALGEBRAS DE BOOLE Y ESPACIOS TOPOLOGICOS RELACIONADOS, ASI COMO APLICACIONES A TEMAS DE TEORIA DE LA DEMOSTRACION, COMO EL ANALISIS ORDINAL MEDIANTE PREDICADOS DE DEMOSTRABILIDAD.EN TEORIA DE MODELOS QUEREMOS HACER CONTRIBUCIONES A LA TEORIA DE LA ESTABILIDAD Y SUS GENERALIZACIONES A LAS TEORIAS SIMPLES Y A LAS TEORIAS SIN LA PROPIEDAD DE LA INDEPENDENCIA Y QUEREMOS ASIMISMO REALIZAR AVANCES EN LA TEORIA DE MODELOS DE LA ARITMETICA DE PEANO Y SUS FRAGMENTOS. MAS CONCRETAMENTE, ESTAMOS INTERESADOS EN CUESTIONES DE ELIMINACION DE HIPERIMAGINARIOS, EN RELACIONES ABSTRACTAS DE PREINDEPENDENCIA, EN DESARROLLAR LOS MODELOS EXISTENCIALMENTE CERRADOS EN LA ARITMETICA Y EN APLICAR TECNICAS DE LA TEORIA DE MODELOS AL ESTUDIO DE PRINCIPIOS DE REFLEXION PARA LA ARITMETICAEN ALGEBRAS DE BOOLE Y ESPACIOS TOPOLOGICOS RELACIONADOS EL OBJETIVO ES OBTENER TEOREMAS DE EXISTENCIA SOBRE LA ESTRUCTURA DE DICHAS ALGEBRAS Y ESPACIOS TOPOLOGICOS. EN ANALISIS ORDINAL QUEREMOS ESTUDIAR EXTENSIONES TRANSFINITAS DE LA LOGICA POLIMODAL DE LA DEMOSTRABILIDAD Y ENTENDER SU SEMANTICA DE KRIPKE Y TOPOLOGICA. OGICA DE PREDICADOS\TEORIA DE MODELOS DE LA ARITMETICA\PREDICADOS DE DEMOSTRABILIDAD\ANALISIS ORDINAL\TEORIA DE LA ESTABILIDAD\FORCING\AUTOMORFISMOS\MODELOS TOPOLOGICOS\MODELOS ALGEBRAICOS