Independence results in formal topology

DOI10.1016/j.apal.2011.06.023zbMath1267.03059OpenAlexW2013129107MaRDI QIDQ651321

Silvio Valentini

Publication date: 12 December 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2011.06.023

zbMATH Keywords

constructive mathematicsformal topologyindependence result

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50)

Cites Work

• Constructive characterizations of bar subsets
• The calculus of constructions
• On the formal points of the formal topology of the binary tree
• Inductively generated formal topologies.
• Some points in formal topology.
• Accessible Independence Results for Peano Arithmetic
• Every countably presented formal topology is spatial, classically

This page was built for publication: Independence results in formal topology