• Login
    JavaScript is disabled for your browser. Some features of this site may not work without it.
    A constructive interpretation of Ramsey's theorem via the product of selection functions 
    •   QMRO Home
    • School of Electronic Engineering and Computer Science
    • Electronic Engineering and Computer Science
    • A constructive interpretation of Ramsey's theorem via the product of selection functions
    •   QMRO Home
    • School of Electronic Engineering and Computer Science
    • Electronic Engineering and Computer Science
    • A constructive interpretation of Ramsey's theorem via the product of selection functions
    ‌
    ‌

    Browse

    All of QMROCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects
    ‌
    ‌

    Administrators only

    Login
    ‌
    ‌

    Statistics

    Most Popular ItemsStatistics by CountryMost Popular Authors

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

    View/Open
    Accepted version (403.1Kb)
    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
    • Electronic Engineering and Computer Science [2405]
    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.
    Twitter iconFollow QMUL on Twitter
    Twitter iconFollow QM Research
    Online on twitter
    Facebook iconLike us on Facebook
    • Site Map
    • Privacy and cookies
    • Disclaimer
    • Accessibility
    • Contacts
    • Intranet
    • Current students

    Modern Slavery Statement

    Queen Mary University of London
    Mile End Road
    London E1 4NS
    Tel: +44 (0)20 7882 5555

    © Queen Mary University of London.