home | mathematics | basic picture | towards a book ::... 1 | 2
The Basic Picture: towards a book
A book on the basic picture is in preparation, with title: The
Basic Picture, a structural basis for constructive topology.
This is the present contents:
- Preface
- Elements of intuitionistic predicative mathematics
- Basic pairs: symmetry and duality in topology
- Continuity is a commutative diagram
- Basic topologies
- Continuous relations
- Elementary topologies
- From Basic topologies to formal topologies
- Formal points and formal spaces
- Reduction, saturation and opposite
- Putting predicative topology in algebraic terms
- The basic picture: a bird's eye view
- Future and past
- Generating positivity by coinduction (with P. Martin-Löf)
- Nonstandard elements as formal points (with V. Capretta)
