A constructive interpretation of Ramsey's theorem via the product of selection functions. (13th November 2014)
- Record Type:
- Journal Article
- Title:
- A constructive interpretation of Ramsey's theorem via the product of selection functions. (13th November 2014)
- Main Title:
- A constructive interpretation of Ramsey's theorem via the product of selection functions
- Authors:
- OLIVA, PAULO
POWELL, THOMAS - Abstract:
- Abstract : We use Gödel's dialectica interpretation to produce a computational version of the well-known proof of Ramsey's theorem by Erdős and Rado. Our proof makes use of the product of selection functions, which forms an intuitive alternative to Spector's bar recursion when interpreting proofs in analysis. This case study is another instance of the application of proof theoretic techniques in mathematics.
- Is Part Of:
- Mathematical structures in computer science. Volume 25:Number 8(2015)
- Journal:
- Mathematical structures in computer science
- Issue:
- Volume 25:Number 8(2015)
- Issue Display:
- Volume 25, Issue 8 (2015)
- Year:
- 2015
- Volume:
- 25
- Issue:
- 8
- Issue Sort Value:
- 2015-0025-0008-0000
- Page Start:
- 1755
- Page End:
- 1778
- Publication Date:
- 2014-11-13
- Subjects:
- Computer science -- Mathematics -- Periodicals
004.015105 - Journal URLs:
- http://journals.cambridge.org/action/displayJournal?jid=MSC ↗
- DOI:
- 10.1017/S0960129513000340 ↗
- Languages:
- English
- ISSNs:
- 0960-1295
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD Digital store
- Ingest File:
- 637.xml