Coherence and finiteness spaces - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year : 2010

Coherence and finiteness spaces

Pierre Hyvernat

Abstract

This very short note presents an unsuspected relation between coherence spaces and finiteness spaces in the form of a linear functor from "Coh" to "Fin". The main used in this analysis is the infinite Ramsey theorem.
Fichier principal
Vignette du fichier
coherence-finite.pdf (92.82 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00387650 , version 1 (25-05-2009)
hal-00387650 , version 2 (03-11-2009)
hal-00387650 , version 3 (26-07-2010)
hal-00387650 , version 4 (31-07-2011)

Identifiers

Cite

Pierre Hyvernat. Coherence and finiteness spaces. 2010. ⟨hal-00387650v2⟩
96 View
202 Download

Altmetric

Share

Gmail Facebook X LinkedIn More