On the undecidability of logics with nominals, recursion and counting