Intuitionism

• A constructive topological proof of van der Waerden's theorem.

• A Note on the Open Induction Principle

• A proof of Higman's lemma by structural induction

• Towards an intuitionistic fixpoint theorem (1987)