Abstract Bishop's Lemma is a centrepiece in the development of constructive analysis. We show that its proof requires some form of the axiom of choice; and that the completeness requirement in Bishop's Lemma can be weakened and that there is a vast class of non‐complete spaces that Bishop's Lemma applies to.
PDF的下载单位、IP信息已删除
(2025-6-4)
Kao
嘻嘻哈哈
Copyright
OK
Oracle
Nole
Sure
Criminology34
GingerF
GG
乐空思
行走的荷尔蒙
清平道人
fantasy
无情的聪健
cdercder
youth
学术熊
Samuel
不潮薯饼
皖公网安备34019202002308
