Christian Rüede

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2003

4 Christian Rüede: The proof-theoretic analysis of Sigma₁¹ transfinite dependent choice. Ann. Pure Appl. Logic 122(1-3): 195-234 (2003)

3 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 Christian Rüede, Thomas Strahm: Intuitionistic Fixed Point Theories for Strictly Positive Operators. Math. Log. Q. 48(2): 195-202 (2002)

	2003
4		Christian Rüede: The proof-theoretic analysis of Sigma₁¹ transfinite dependent choice. Ann. Pure Appl. Logic 122(1-3): 195-234 (2003)
3		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		Christian Rüede, Thomas Strahm: Intuitionistic Fixed Point Theories for Strictly Positive Operators. Math. Log. Q. 48(2): 195-202 (2002)

Coauthor Index

1 Thomas Strahm [1]