Decidability and definability results related to the elementary theory of ordinal multiplication - Archive ouverte HAL
Article Dans Une Revue Fundamenta Mathematicae Année : 2002

Decidability and definability results related to the elementary theory of ordinal multiplication

Alexis Bès
  • Fonction : Auteur
Laboratoire d'Algorithmique Complexité et Logique

Résumé

no abstract

Domaines

Informatique [cs] Logique [math.LO]

Alexis Bès  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01215411

Soumis le : mercredi 14 octobre 2015-10:49:42

Dernière modification le : jeudi 18 avril 2024-15:18:17

Fichier non déposé

Dates et versions

hal-01215411 , version 1 (14-10-2015)

Identifiants

  • HAL Id : hal-01215411 , version 1

Citer

Alexis Bès. Decidability and definability results related to the elementary theory of ordinal multiplication. Fundamenta Mathematicae, 2002, 171, pp.197--211. ⟨hal-01215411⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LACL UPEC
40 Consultations
0 Téléchargements

Partager

More