Some measure theoretic results in effective descriptive set theory
scientific article; zbMATH DE number 3503237