%0 Journal Article %A Hans Carstens %T Reducing hyperarithmetic sequences %J Fundamenta Mathematicae %D 1975 %P 5-11 %V 89 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.4064/fm-89-1-5-11/ %R 10.4064/fm-89-1-5-11 %G en %F 10_4064_fm_89_1_5_11