Constructively Finite?

Arnaud Spiwack 1, 2 Thierry Coquand 3
1 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
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
3 CSE - Department of Computer Science and Engineering [Göteborg]
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.
Keywords : Constructive mathematics
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

INRIA | LIX | INSMI | X | PARISTECH | X-LIX | X-DEP-INFO

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

416

Téléchargements de fichiers

262

Contact


archive-ouverte@inria.fr