Egoroff's Theorem
Endou, Noboru, Shidama, Yasunari, Narita, Keiko
Fixpoint Theorem for Continuous Functions on Chain-Complete Posets
Ishida, Kazuhisa, Shidama, Yasunari
The Orthogonal Projection and the Riesz Representation Theorem
Narita, Keiko, Endou, Noboru, Shidama, Yasunari