Characterizations of semicomputable sets of real numbers
scientific article; zbMATH DE number 6376575