On van der Waerden's theorem and the theorem of Paris and Harrington
scientific article; zbMATH DE number 3713728