We prove two theorems which concern difficulties in the formulation of the quantum theory of a linear scalar field on a spacetime, (M,gab), with a compactly generated Cauchy horizon. These theorems demonstrate the breakdown of the theory at certain base points of the Cauchy horizon, which are defined as ‘past terminal accumulation points’ of the horizon generators. Thus, the theorems may be int...