Noetherian recursion