The theory of successor with an extra predicate
scientific article; zbMATH DE number 3575559