Login / Signup
Christian Rüede
ORCID
Publication Activity (10 Years)
Years Active: 2002-2003
Publications (10 Years): 0
</>
Publications
</>
Christian Rüede
transfinite dependent choice.
Ann. Pure Appl. Log.
122 (1-3) (2003)
Christian Rüede
Universes in metapredicative analysis.
Arch. Math. Log.
42 (2) (2003)
Christian Rüede
Transfinite Dependent Choice and omega-Model Reflection.
J. Symb. Log.
67 (3) (2002)
Christian Rüede
,
Thomas Strahm
Intuitionistic Fixed Point Theories for Strictly Positive Operators.
Math. Log. Q.
48 (2) (2002)