Coherence and finiteness spaces
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.
Origin : Files produced by the author(s)