Bas Westerbaan

home

Statman's Hierarchy Theorem

20 Apr 2014 [ preprint ]

A simplification and slight extension of Statman’s Hierarchy Theorem.