Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics

DOI10.1112/jlms/s2-47.2.193zbMath0729.03034OpenAlexW2165251681MaRDI QIDQ3353014

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

zbMATH Keywords

intuitionistic logicRamsey's theoremcompactness argumentintuitionistic analysisbar inductionalmost full relationintuitionistic pigeonhole principle

Mathematics Subject Classification ID

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

Related Items (9)

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

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