For the linear Tricomi problem, it is shown that real eigenvalues corresponding to generalized eigenfunctions must be positive and that the energy integral methods used to prove solvability results can give lower bounds on the spectrum. Exploiting the linear solvability theory and spectral information, standard nonlinear analysis tools are employed to yield results on existence and uniqueness for semilinear problems. In particular, using the Leray-Schauder principle, existence of generalized solutions with sublinear nonlinearities is established. For sublinear or asymptotically linear nonlinearities that satisfy a Lipschitz condition, the contraction mapping principle is employed to give results on existence with uniqueness. The Lipschitz constant depends on lower bounds for the spectrum of the linear problem. For certain superlinear problems, maximum principles for the linear problem are used via the method of upper and lower solutions to give results on existence. # 2002 Elsevier Science (USA)