On the formal points of the formal topology of the binary tree

• 1 October 2002
• journal article
• research article
• Published by Springer Nature in Archive for Mathematical Logic
• Vol. 41  (7) , 603-618
• https://doi.org/10.1007/s001530100133

Abstract

Keywords

• REAL NUMBER
• CLASSICAL RESULT
• BINARY TREE
• MAIN CONCEPT
• GENERAL TOPOLOGY