PCG
The Elementary Theory of Partially Commutative Groups
| Coordinatore | UNIVERSIDAD DEL PAIS VASCO/ EUSKAL HERRIKO UNIBERTSITATEA
Spiacenti, non ci sono informazioni su questo coordinatore. Contattare Fabio per maggiori infomrazioni, grazie. |
| Nazionalità Coordinatore | Spain [ES] |
| Totale costo | 1˙021˙216 € |
| EC contributo | 1˙021˙216 € |
| Programma | FP7-IDEAS-ERC
Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) |
| Code Call | ERC-2013-StG |
| Funding Scheme | ERC-SG |
| Anno di inizio | 2014 |
| Periodo (anno-mese-giorno) | 2014-09-01 - 2019-08-31 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
UNIVERSIDAD DEL PAIS VASCO/ EUSKAL HERRIKO UNIBERTSITATEA
Organization address
address: BARRIO SARRIENA S N contact info |
ES (LEIOA) | hostInstitution | 1˙021˙216.80 |
| 2 |
UNIVERSIDAD DEL PAIS VASCO/ EUSKAL HERRIKO UNIBERTSITATEA
Organization address
address: BARRIO SARRIENA S N contact info |
ES (LEIOA) | hostInstitution | 1˙021˙216.80 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (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.'