Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

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 328

Ver Participantes

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2011-01-01

0% 100%

Participantes

Lider

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

Últimas noticias

27-11-2024: Videojuegos y creaci... Se abre la línea de ayuda pública: Ayudas para la promoción del sector del videojuego, del pódcast y otras formas de creación digital

27-11-2024: DGIPYME En las últimas 48 horas el Organismo DGIPYME ha otorgado 1 concesiones

27-11-2024: FUNDACION-EOI En las últimas 48 horas el Organismo FUNDACION EOI ha otorgado 2 concesiones

Líder del proyecto

UNIVERSIDAD DE BARCELONA

Total investigadores 328

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

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores