A MODEL THEORETIC STUDY OF RIGHT-ANGLED BUILDINGS
Résumé
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]
Origine : Fichiers produits par l'(les) auteur(s)