Objective
"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."
Fields of science
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques.
Call for proposal
ERC-2013-StG
See other projects for this call
Funding Scheme
ERC-SG - ERC Starting GrantHost institution
48940 Leioa
Spain