On the formal points of the formal topology of the binary tree
From MaRDI portal
Publication:1407560
DOI10.1007/s001530100133zbMath1024.03064OpenAlexW1995866419MaRDI 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
Topological spaces and generalizations (closure spaces, etc.) (54A05) Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)
Related Items (3)
Constructive characterizations of bar subsets ⋮ Inductively generated formal topologies. ⋮ Independence results in formal topology
This page was built for publication: On the formal points of the formal topology of the binary tree