An undecidability result for AGh
scientific article; zbMATH DE number 5117657