On spectral theory for nonlinear operators