Ackermann's model and recursive predicates