A constructive topological proof of van der Waerden's theorem
type: Item
instance of: scholarly article
title: A constructive topological proof of van der Waerden's theorem
zbMATH Open document ID: 0841.03032
DOI: 10.1016/0022-4049(94)00148-0
author: Thierry Coquand
published in: Journal of Pure and Applied Algebra
publication date: 1996-07-16T00:00:00Z
Mathematics Subject Classification ID: 03F65
zbMATH DE Number: 858620
zbMATH Keywords: constructive proof
zbMATH Keywords: arithmetical progression
zbMATH Keywords: topological dynamics
zbMATH Keywords: computational content
zbMATH Keywords: point-free topology
MaRDI profile type: Publication
full work available at URL: 0022-4049(94)00148-0
OpenAlex ID: W2062186770
cites work: Stone-Čech compactification of locales. II
cites work: Q5563701
cites work: An analysis of Ramsey's theorem
cites work: Constructive topology and combinatorics
cites work: An intuitionistic proof of Tychonoff's theorem
cites work: Q4133603
cites work: Ergodic behavior of diagonal measures and a theorem of Szemeredi on arithmetic progressions
cites work: Topological dynamics and combinatorial number theory
cites work: Q3791120
cites work: Q3903002
cites work: Q3711309
cites work: Q5181669
cites work: A globalization of the Hahn-Banach theorem
cites work: Q3481701
description: scientific article; zbMATH DE number 858620