Another proof of the intuitionistic Ramsey theorem

DOI10.1016/0304-3975(93)90055-XzbMath0801.03039OpenAlexW2046110240MaRDI QIDQ685402

Thierry Coquand

Publication date: 1 December 1994

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(93)90055-x

zbMATH Keywords

\(n\)-ary relationsalmost full binary relationsintuitionistic Ramsey theorem

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Cites Work

• Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics
• On the Interpretation of Non-Finitist Proofs--Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Another proof of the intuitionistic Ramsey theorem