On the formal points of the formal topology of the binary tree
From MaRDI portal
Publication:1407560
DOI10.1007/s001530100133zbMath1024.03064MaRDI QIDQ1407560
Publication date: 16 September 2003
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001530100133
54A05: Topological spaces and generalizations (closure spaces, etc.)
03F65: Other constructive mathematics
03F35: Second- and higher-order arithmetic and fragments
03F50: Metamathematics of constructive systems
Related Items
Independence results in formal topology, Constructive characterizations of bar subsets, Inductively generated formal topologies.