On higher effective descriptive set theory
effective \(T_0\)-space admitting Borel point recovering
scientific article; zbMATH DE number 6756769
scientific article