| |
| 2003 | ||
|---|---|---|
| 4 | EE | Christian Rüede: The proof-theoretic analysis of Sigma11 transfinite dependent choice. Ann. Pure Appl. Logic 122(1-3): 195-234 (2003) |
| 3 | EE | Christian Rüede: Universes in metapredicative analysis. Arch. Math. Log. 42(2): 129-151 (2003) |
| 2002 | ||
| 2 | Christian Rüede: Transfinite Dependent Choice and omega-Model Reflection. J. Symb. Log. 67(3): 1153-1168 (2002) | |
| 1 | EE | Christian Rüede, Thomas Strahm: Intuitionistic Fixed Point Theories for Strictly Positive Operators. Math. Log. Q. 48(2): 195-202 (2002) |
| 1 | Thomas Strahm | [1] |