Coherent and finiteness spaces
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 inf...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Logical Methods in Computer Science e.V.
2011-09-01
|
| Series: | Logical Methods in Computer Science |
| Subjects: | |
| Online Access: | https://lmcs.episciences.org/1131/pdf |
| Summary: | 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. |
|---|---|
| ISSN: | 1860-5974 |