Recursive functionals and quantifiers of finite types. I

Abstract

This result was obtained by Tarski Also cf. [29].