The following pages link to Christian Rüede (Q1400603):
Displayed 5 items.
- The proof-theoretic analysis of \(\Sigma_{1}^{1}\) transfinite dependent choice (Q1400604) (← links)
- Universes in metapredicative analysis (Q1407581) (← links)
- (Q3125315) (← links)
- Intuitionistic Fixed Point Theories for Strictly Positive Operators (Q4531084) (← links)
- Transfinite dependent choice and <i>ω</i>-model reflection (Q4779657) (← links)