The Elementary Theory of Partially Commutative Groups

Obiettivo

"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."

Campo scientifico

Meccanismo di finanziamento

ERC-SG - ERC Starting Grant

Istituzione ospitante

UNIVERSIDAD DEL PAIS VASCO/ EUSKAL HERRIKO UNIBERTSITATEA

Contributo UE

€ 1 021 216,80

Indirizzo

BARRIO SARRIENA S N
48940 Leioa
Spagna

Regione

Noreste País Vasco Bizkaia

Tipo di attività

Higher or Secondary Education Establishments

Contatto amministrativo

Charo Sánchez (Ms.)

Ricercatore principale

Ilya Kazachkov (Dr.)

Collegamenti

Contatta l’organizzazione Sito web

Costo totale

Nessun dato

Beneficiari (1)