Separation principles in the hierarchies of classical and effective descriptive set theory J. Addison — 1958 Fundamenta Mathematicae