Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

MTM2011-26840

Financiado

TEORIA DE MODELOS Y APLICACIONES

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

01/01/2011

47K€

Presupuesto del proyecto: 47K€

Líder del proyecto

UNIVERSIDAD DE BARCELONA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 327

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%

Participantes

Lider

Conecta tu I+D

¿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

Proyectos interesantes

MTM2014-59178-P LOGICA MATEMATICA 47K€ Cerrado

MTM2011-25747 LOGICA ALGEBRAICA Y LOGICAS NO CLASICAS 72K€ Cerrado

FFI2008-05859 LOGICAS CONSTRUCTIVAS BASICAS PARA CUATRO CONCEPTOS DE CONSI... 23K€ Cerrado

MTM2008-01545 TEORIA DE MODELOS 45K€ Cerrado

FFI2017-82878-P SEMANTICA RELACIONAL TERNARIA TIPO ROUTLEY-MEYER PARA NEGACI... 15K€ Cerrado

PID2019-110843GA-I00 LA GEOMETRIA DE LAS LOGICAS NO-CLASICAS 25K€ Cerrado

Líder del proyecto

UNIVERSIDAD DE BARCELONA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 327

Presupuesto del proyecto 47K€

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

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores