Cobham recursive set functions - Arnold Beckmann (Annals of Pure and Applied Logic, 2015)