A constructive topological proof of van der Waerden's theorem

DOI10.1016/0022-4049(94)00148-0zbMath0841.03032OpenAlexW2062186770MaRDI QIDQ1910731

Thierry Coquand

Publication date: 16 July 1996

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(94)00148-0

zbMATH Keywords

topological dynamicsconstructive proofpoint-free topologyarithmetical progressioncomputational content

Mathematics Subject Classification ID

Other constructive mathematics (03F65)

Related Items (1)

Minimal invariant spaces in formal topology

Cites Work

• Stone-Čech compactification of locales. II
• Topological dynamics and combinatorial number theory
• A globalization of the Hahn-Banach theorem
• Ergodic behavior of diagonal measures and a theorem of Szemeredi on arithmetic progressions
• An analysis of Ramsey's theorem
• An intuitionistic proof of Tychonoff's theorem
• Constructive topology and combinatorics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A constructive topological proof of van der Waerden's theorem