Transfinite Dependent Choice and omega-Model Reflection. - Christian Rüede (J. Symb. Log., 2002)

Intuitionistic Fixed Point Theories for Strictly Positive Operators. - Christian Rüede; Thomas Strahm (Math. Log. Q., 2002)

Universes in metapredicative analysis. - Christian Rüede (Arch. Math. Log., 2003)

The proof-theoretic analysis of Sigma11 transfinite dependent choice. - Christian Rüede (Ann. Pure Appl. Log., 2003)