On Tarski's problem for virtually free groups

Résumé : On donne une classification complète des groupes virtuellement libres de type fini du point de l'équivalence élémentaire à deux quantificateurs $\forall\exists$. En outre, on propose un algorithme qui, pour toute paire de présentations finies de groupes virtuellement libres de type fini, décide si ces groupes ont la même théorie $\forall\exists$ ou non.
Type de document :
Pré-publication, Document de travail
Liste complète des métadonnées

Littérature citée [49 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-02318288
Contributeur : Simon André <>
Soumis le : mercredi 16 octobre 2019 - 18:52:13
Dernière modification le : samedi 26 octobre 2019 - 01:26:16

Fichiers

Papier 3.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-02318288, version 1
  • ARXIV : 1910.08464

Citation

Simon André. On Tarski's problem for virtually free groups. 2019. ⟨hal-02318288⟩

Partager

Métriques

Consultations de la notice

41

Téléchargements de fichiers

24