A note on a theorem by Ladner
scientific article; zbMATH DE number 3813601