Arithmetical representations of enumerable sets with a small number of quantifiers
scientific article; zbMATH DE number 3583799