A Souslin operation for \(\Pi^1_2\)
scientific article; zbMATH DE number 3461931