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

Paulo Oliva, Thomas Powell

Research output: Contribution to journalArticlepeer-review

9 Citations (SciVal)

Fingerprint

Dive into the research topics of 'A constructive interpretation of Ramsey's theorem via the product of selection functions'. Together they form a unique fingerprint.

Mathematics