A constructive interpretation of Ramsey's theorem via the product of selection functions

View/Open
Volume
25
Pagination
1755 - 1778
DOI
10.1017/S0960129513000340
Journal
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Issue
8
ISSN
0960-1295
Metadata
Show full item record
Authors
Oliva, P; Powell, T
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/10531
Collections
Licence information
This is the peer reviewed version of the following article: Oliva, Paulo, and Thomas Powell. "A constructive interpretation of Ramsey's theorem via the product of selection functions." Mathematical Structures in Computer Science (2012): 1-24, which has been published in final form at 10.1017/S0960129513000340. This article may be used for non-commercial purposes in accordance with Cambridge University Press' Terms and Conditions for Self-Archiving.