Borel functions and separability of metric spaces
scientific article; zbMATH DE number 6903310