Extended universal theories of the integers
scientific article; zbMATH DE number 3611341