Randomness vs. Completeness: On the Diagonalization Strength of Resource-Bounded Random Sets. - Klaus Ambos-Spies; Steffen Lempp; Gunther Mainhardt (MFCS, 1998)

Resource bounded randomness and genericity. - Gunther Mainhardt (1999)

P versus NP and computability theoretic constructions in complexity theory over algebraic structures. - Gunther Mainhardt (J. Symb. Log., 2004)

Traces, traceability, and lattices of traces under the set theoretic inclusion. - Gunther Mainhardt (Arch. Math. Log., 2013)