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

PCG

Financiado

Cerrado

The Elementary Theory of Partially Commutative Groups

"The solution of Tarski's problems on the first-order theory of free groups has uncovered deep connections between Model Theory, Geometry and Group Theory and served as a nexus and motivation for many classical results in Geometr... ver más

31/08/2019

UPV

1M€

Presupuesto del proyecto: 1M€

Líder del proyecto

UNIVERSIDAD DEL PAIS VASCO/EUSKAL HERRIKO UNI... No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 45

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo FP7 notifico la concesión del proyecto el día 2019-08-31 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.

1 Participantes

UPV

0.00€ | 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

MTM2017-86777-P LOGICA MATEMATICA 34K€ Cerrado

MTM2010-19938-C03-01 PROPIEDADES ARITMETICAS Y ESTRUCTURALES DE LOS GRUPOS. APLIC... 54K€ Cerrado

DFLOW Duality For Logic On Words 243K€ Cerrado

MTM2014-54707-C3-1-P PROPIEDADES ARITMETICAS Y ESTRUCTURALES DE GRUPOS Y SEMIGRUP... 24K€ Cerrado

MTM2010-19938-C03-02 PROPIEDADES ARITMETICAS Y ESTRUCTURALES DE LOS GRUPOS. APLIC... 36K€ Cerrado

GTMT Group Theory and Model Theory 367K€ Cerrado

Líder del proyecto

UNIVERSIDAD DEL PAIS VASCO/EUSKAL HERRIKO UNI... No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 45

Presupuesto del proyecto 1M€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto "The solution of Tarski's problems on the first-order theory of free groups has uncovered deep connections between Model Theory, Geometry and Group Theory and served as a nexus and motivation for many classical results in Geometric Group Theory and Theoretical Computer Science. Just as the Tarski problems connected the theory of free groups with the geometry of trees, our goal is to point at a new direction in Group Theory and develop appropriate generalisations of the techniques and results whose nature is based on the geometry of higher dimensional counterparts of trees and interplays with the theory of partially commutative groups, notably the theory of groups acting on real cubings. We then shall apply these tools to approach fundamental questions in the model theory of partially commutative groups: classify finitely generated groups elementarily equivalent to a given partially commutative group and prove decidability and stability of their first-order theory."

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores