1. Ash, C., Knight, J.: Computable Structures and the Hyperarithmetical Hierarchy. Studies in Logic and the Foundations of Mathematics, vol. 144. North-Holland Publishing Co., Amsterdam (2000)
2. Banach, S.: Théorie des opérations lin’eaires. Z subwencji Funduszu kultury narodowej, Warszawa (1932)
3. Brattka, V., Dillhage, R.: On computable compact operators on computable Banach spaces with bases. Math. Logic Q. 53(4–5)):345–364 (2007)
4. Bazhenov, N., Harrison-Trainor, M., Melnikov, A.: Computable stone spaces (2021)
5. Brown, T., McNicholl, T., Melnikov, A.: On the complexity of classifying Lebesgue spaces, submitted