Fredholm alternative, semilinear elliptic problems, and Wentzell boundary conditions

We give necessary and sufficient conditions for the solvability of some semilinear elliptic boundary value problems involving the Laplace operator with linear and nonlinear highest order boundary conditions involving the Laplace-Beltrami operator.