Another proof of the intuitionistic Ramsey theorem
From MaRDI portal
(Redirected from Publication:685402)
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
- scientific article; zbMATH DE number 4134034
- 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
Cites work
- scientific article; zbMATH DE number 3918365 (Why is no real title available?)
- scientific article; zbMATH DE number 3557754 (Why is no real title available?)
- scientific article; zbMATH DE number 3428899 (Why is no real title available?)
- scientific article; zbMATH DE number 3216177 (Why is no real title available?)
- scientific article; zbMATH DE number 3365218 (Why is no real title available?)
- scientific article; zbMATH DE number 3188507 (Why is no real title available?)
- On the Interpretation of Non-Finitist Proofs--Part I
- Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics
Cited in
(4)
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)
