Coherent and finiteness spacesReportar como inadecuado

Coherent and finiteness spaces - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 LAMA - Laboratoire de Mathématiques

Abstract : This short note presents a new relation between coherent spaces and finiteness spaces. This takes the form of a functor from COH to FIN commuting with the additive and multiplicative structure of linear logic. What makes this correspondence possible and conceptually interesting is the use of the infinite Ramsey theorem. Along the way, the question of the cardinality of the collection of finiteness spaces on N is answered. Basic knowledge about coherent spaces and finiteness spaces is assumed.

Keywords : Ramsey Theorem Linear Logic Coherent Space Finiteness Space Ramsey Theorem.

Autor: Pierre Hyvernat -



Documentos relacionados