Finite Generation over Witt Vectors