Indescribable Cardinals and Elementary Embeddings. - Kai Hauser (J. Symb. Log., 1991)

Indescribable cardinals without diamonds. - Kai Hauser (Arch. Math. Log., 1992)

The Indestructability of the Order of the Indescribable Cardinals. - Kai Hauser (Ann. Pure Appl. Log., 1992)

The Consistency Strength of Projective Absoluteness. - Kai Hauser (Ann. Pure Appl. Log., 1995)

Strong Cardinals in the Core Model. - Kai Hauser; Greg Hjorth (Ann. Pure Appl. Log., 1997)

A Minimal Counterexample To Universal Baireness. - Kai Hauser (J. Symb. Log., 1999)

Pi13 Sets and Pi13 Singletons. - Kai Hauser; W. Hugh Woodin (J. Symb. Log., 1999)

Generic relativizations of fine structure. - Kai Hauser (Arch. Math. Log., 2000)

Projective Uniformization Revisited. - Kai Hauser; Ralf-Dieter Schindler (Ann. Pure Appl. Log., 2000)

Objectivity Over Objects: A Case Study In Theory Formation. - Kai Hauser (Synth., 2001)

Gödel's Program Revisited, Part I: The Turn to Phenomenology. - Kai Hauser (Bull. Symb. Log., 2006)