On the formal points of the formal topology of the binary tree
scientific article; zbMATH DE number 1982489