Another proof of the intuitionistic Ramsey theorem

DOI10.1016/0304-3975(93)90055-XzbMATH Open0801.03039OpenAlexW2046110240MaRDI QIDQ685402FDOQ685402

Authors: 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

Recommendations

• Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics
• scientific article; zbMATH DE number 517049
• An intuitionistic proof of Kruskal's theorem
• An analysis of Ramsey's theorem
• Ramsey theorem as an intuitionistic property of well founded relations
• Publication:3035275
• An intuitionistic version of Ramsey's theorem and its use in program termination
• Ramsey's theorem for pairs and \(k\) colors as a sub-classical principle of arithmetic
• On a problem of formal logic.
• A Ramsey theorem in Boyer-Moore logic

zbMATH Keywords

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

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• On the Interpretation of Non-Finitist Proofs--Part I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics
• Title not available (Why is that?)

Cited In (2)

• An analysis of Ramsey's theorem
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q685402)