Borel complexity and computability of the Hahn-Banach theorem
scientific article; zbMATH DE number 5278966
scientific article