Christian Rüede

According to our database¹, Christian Rüede authored at least 4 papers between 2002 and 2003.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2003

The proof-theoretic analysis of Sigma<sub>1</sub><sup>1</sup> transfinite dependent choice.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2003

Universes in metapredicative analysis.

[BibT_eX]

[DOI]

Arch. Math. Log., 2003

2002

Intuitionistic Fixed Point Theories for Strictly Positive Operators.

[BibT_eX]

[DOI]

Math. Log. Q., 2002

Transfinite Dependent Choice and omega-Model Reflection.

[BibT_eX]

[DOI]

J. Symb. Log., 2002