Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics

DOI10.1112/JLMS/S2-47.2.193zbMATH Open0729.03034OpenAlexW2165251681MaRDI QIDQ3353014FDOQ3353014

Wim Veldman, Marc Bezem

Publication date: 1993

Published in: Journal of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/26544

Recommendations

• Another proof of the intuitionistic Ramsey theorem
• Using Ramsey's theorem once
• An analysis of Ramsey's theorem
• On the strength of Ramsey's theorem
• Ramsey theorem for pairs as a classical principle in intuitionistic arithmetic

zbMATH Keywords

compactness argumentintuitionistic logicRamsey's theorembar inductionintuitionistic analysisalmost full relationintuitionistic pigeonhole principle

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Constructive and recursive analysis (03F60)

Cited In (13)

• Another proof of the intuitionistic Ramsey theorem
• Constructive decision via redundancy-free proof-search
• A Mechanized Proof of Higman’s Lemma by Open Induction
• Title not available (Why is that?)
• An analysis of Ramsey's theorem
• Higman’s Lemma and Its Computational Content
• An intuitionistic version of Ramsey's theorem and its use in program termination
• Title not available (Why is that?)
• A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC
• Title not available (Why is that?)
• Intuitionism: an inspiration?
• Refined program extraction from classical proofs
• Title not available (Why is that?)

This page was built for publication: Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics

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