Douglas Bridges - Ishihara’s Contributions to Constructive Analysis

Explore Douglas Bridges' lecture on Hajime Ishihara's fundamental contributions to Bishop-style constructive analysis. Delve into key areas such as Ishihara's tricks, pseudoboundedness, Ishihara's principle BD-N, Hahn-Banach and separation theorems, as well as concepts of smoothness, duality, and locatedness. Originally presented at a conference honoring Ishihara's 60th birthday in Kanazawa, this 45-minute talk, part of the Hausdorff Trimester Program on Constructive Mathematics, offers valuable insights into the field and highlights the significant impact of Ishihara's work on constructive analysis.