Hauser, Kai (1989) Independence results for indescribable cardinals. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-05222007-093217