Compactness results for immersions of prescribed Gaussian curvature I - analytic aspects

We extend recent results of Guan and Spruck, proving existence results for constant Gaussian curvature hypersurfaces in Hadamard manifolds.