Douglas Bridges: Ishihara’s Research in Constructive Analysis
Time: Wed 2018-02-07 10.00 - 11.45
Location: Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University
Participating: 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