Objetivo
"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."
Ámbito científico
Convocatoria de propuestas
ERC-2013-StG
Consulte otros proyectos de esta convocatoria
Régimen de financiación
ERC-SG - ERC Starting GrantInstitución de acogida
48940 Leioa
España