%0 Journal Article %A V. G. Kanovei %T On the independence of some propositions of descriptive set theory and second-order arithmetic %J Doklady Akademii Nauk %D 1975 %P 552-554 %V 223 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/DAN_1975_223_3_a8/ %G ru %F DAN_1975_223_3_a8