Formal topology

The aim of formal topology is to develop topology in a constructive framework where the adjective "constructive" is meant to imply both intuitionistic and predicative.

Present works in formal topology consider both the proof of classical topological results within a constructive approach and the development of completely new topological concepts that arise from a non-classical approach.


Annotated list of some publications

[Back]