Intuitionism

• A a direct proof of Ramsey's theorem Found around 1994. This proof looks like a cut-elimination. An update.

• 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)