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

DOI10.1007/s001530100133zbMath1024.03064MaRDI QIDQ1407560

Silvio Valentini

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

zbMATH Keywords

constructive mathematics; formal topology; Martin-Löf's constructive type theory; formal point

Mathematics Subject Classification ID

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.