Publications

Export 5 results:
Filters: Author is Christian Rüede  [Clear All Filters]
2003
Rüede, C.: The proof-theoretic analysis of $Σ^1_1$ transfinite dependent choice. Annals of Pure and Applied Logic. 122, 195-234 (2003).
Rüede, C.: Universes in metapredicative analysis. Archive for Mathematical Logic. 42, 129-151 (2003).
2002
: Intuitionistic fixed point theories for strictly positive operators. Mathematical Logic Quarterly. 48, 195-202 (2002).
Rüede, C.: Transfinite dependent choice and $\omega$-model reflection. The Journal of Symbolic Logic. 67, 1153-1168 (2002).