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

DOI10.1007/s001530100133zbMath1024.03064OpenAlexW1995866419MaRDI 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 mathematicsformal topologyMartin-Löf's constructive type theoryformal point

Mathematics Subject Classification ID

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