- Vivi Padova
- Il Bo
On Wednesday October 15, at 16:30, room 1A150, Tatsuji Kawai, who is visiting our department from JAIST (Kanazawa, Japan), will give a seminar on: "Locatedness for formal topologies"
The notion of located subset is a fundamental property of metric spaces in constructive mathematics. In this talk, we extends
locatedness to the class of locally compact formal topologies. We give several characterisations of located subtopologies: overt closed subtopologies, characteristic maps to Sierpinski space, points of continuous lattices, and Dedekind cut like objects.