Fifth Workshop on Formal Topology: Spreads and Choice Sequences
June 8 - June 10, 2015
The study of the logical foundations of topology is playing an important role in mathematical logic and foundations of especially constructive mathematics. Early works by Brouwer on the theory of spreads and choice sequences were influencing much work in the area. A modernized form of his ideas is embodied in constructive point‐free topology or formal topology. The workshop will gather experts in this field and related areas, including computable aspects and non-classical aspects of topology. A subtheme will be modern developments in the theory of spreads and choise sequences, as well as its history.
Participation by invitation only.