Publications

Export 5 results:

Filters: Author is Christian Rüede [Clear All Filters]

2003

C. Rüede, “The proof-theoretic analysis of $Σ^1_1$ transfinite dependent choice”, Annals of Pure and Applied Logic, vol. 122, p. 195{–}234, 2003.

C. Rüede, “Universes in metapredicative analysis”, Archive for Mathematical Logic, vol. 42, p. 129{–}151, 2003.

2002

C. Rüede and T. Strahm, “Intuitionistic fixed point theories for strictly positive operators”, Mathematical Logic Quarterly, vol. 48, p. 195{–}202, 2002.

C. Rüede, “Transfinite dependent choice and $\omega$-model reflection”, The Journal of Symbolic Logic, vol. 67, p. 1153{–}1168, 2002.

2000

C. Rüede, “Metapredicative Subsystems of Analysis”. Universität Bern, 2000.