Cobham recursive set functions