A MODEL THEORETIC STUDY OF RIGHT-ANGLED BUILDINGS

Andreas Baudisch (1) , Amador Martin-Pizarro (2) , Martin Ziegler (3)

1 Institut für Mathematik [Berlin]
2 ICJ - Institut Camille Jordan
3 Mathematisches Institut [Freiburg]

We study the model theory of right-angled buildings with infinite residues. For every Coxeter graph we obtain a complete theory with a natural axiomatisation, which is ω-stable and equational. Furthermore, we provide sharp lower and upper bounds for its degree of ampleness, computed exclu-sively in terms of the associated Coxeter graph. This generalises and provides an alternative treatment of the free pseudospace.

Domaines: Logique [math.LO]

Andreas Baudisch, Amador Martin-Pizarro, Martin Ziegler. A MODEL THEORETIC STUDY OF RIGHT-ANGLED BUILDINGS. 2014. ⟨hal-01079813v3⟩