Rosser-type undecidable sentences based on Yablo's paradox
scientific article; zbMATH DE number 6381559