Douglas Bridges: Ishihara’s Research in Constructive Analysis
Tid: On 2018-02-07 kl 10.00 - 11.45
Plats: Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University
Medverkande: Douglas Bridges, University of Canterbury
Abstract: The aim of this talk is to present some of Ishihara’s fundamental contributions to Bishop-style constructive analysis, and their consequences. Among the areas discussed in the talk are:
- Ishihara’s tricks
- pseudoboundedness and Ishihara’s principle BD-N
- Hahn–Banach and separation theorems
- smoothness, duality, and locatedness