Epsilon substitution method for theories of jump hierarchies
scientific article; zbMATH DE number 1982466