A basis theorem for \(\sum^ 1_ 3\) sets of reals
scientific article