Constructively Finite?

Arnaud Spiwack 1, 2 Thierry Coquand 3
2 TYPICAL - Types, Logic and computing
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR
Abstract : This articles plays with several properties of Bishop sets which would be equivalent in ZFC to being finite. One of which is new. This is an occasion to analyse finely the different properties of finite sets and how they (constructively) relate to one another. We close this article by presenting a few well-known algorithms on finite structures, and describe which kind of finiteness they require.
Type de document :
Chapitre d'ouvrage
Lambán Pardo, Laureano and Romero Ibáñez, Ana and Rubio García, Julio. Contribuciones científicas en honor de Mirian Andrés Gómez, Universidad de La Rioja, pp.217-230, 2010, 978-84-96487-50-5
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00503917
Contributeur : Arnaud Spiwack <>
Soumis le : lundi 19 juillet 2010 - 12:24:05
Dernière modification le : jeudi 10 mai 2018 - 02:06:40
Document(s) archivé(s) le : jeudi 1 décembre 2016 - 15:29:38

Fichier

Coquand_Spiwack_-_2010_-_Const...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00503917, version 1

Collections

Citation

Arnaud Spiwack, Thierry Coquand. Constructively Finite?. Lambán Pardo, Laureano and Romero Ibáñez, Ana and Rubio García, Julio. Contribuciones científicas en honor de Mirian Andrés Gómez, Universidad de La Rioja, pp.217-230, 2010, 978-84-96487-50-5. 〈inria-00503917〉

Partager

Métriques

Consultations de la notice

416

Téléchargements de fichiers

262