Essential hereditary undecidability
scientific article; zbMATH DE number 7874614
scientific article