An analysis of Ramsey's theorem

DOI10.1006/inco.1994.1034zbMath0824.03034OpenAlexW1976279751MaRDI QIDQ1327381

Thierry Coquand

Publication date: 9 November 1995

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1994.1034

zbMATH Keywords

constructive proofhomogeneous setRamsey's Theorem

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Ramsey theory (05D10) Other constructive mathematics (03F65) Intuitionistic mathematics (03F55)

Related Items

A constructive topological proof of van der Waerden's theorem ⋮ A constructive interpretation of Ramsey's theorem via the product of selection functions ⋮ Space of valuations