全局选择公理

✍ dations ◷ 2025-02-23 10:12:32 #全局选择公理

在类理论中,全局选择公理是选择公理应用于真类(非集合)上的较强版本。

全局选择公理可以用各种等价的方式来表达:

相关

  • 理查德·斯莫利理查德·埃利特·斯莫利(英语:Richard Errett Smalley,1943年6月6日-2005年10月28日),美国化学家。因发现富勒烯而与罗伯特·柯尔、哈罗德·克罗托共同获得1996年的诺贝尔化学奖。
  • 记忆力减退的效果失忆症(Amnesia,来自希腊语ἀμνησία),又称失忆症候群(amnesic syndrome),是一种记忆混乱的疾病。简单来说就是丧失记忆,包含丧失部分记忆或丧失全部记忆。失忆症的成因包括器
  • 河神河神可以指:
  • 拉尔夫·斯坦曼拉尔夫·马文·斯坦曼(英语:Ralph Marvin Steinman,1943年1月14日-2011年9月30日),美国洛克菲勒大学的免疫学家和细胞生物学家。他在1973年提出了树突状细胞的概念与其在后天免疫
  • 劳工训练中心站捷运劳工训练中心站位于台湾高雄市小港区,为高雄捷运林园延伸线(规划中)的捷运车站。车站代码为RH1。站区位于劳工训练中心前。地下车站,两个或四个出入口。20??年:随着林园延伸
  • 冯宏顺冯宏顺(1932年3月-2017年4月3日),安徽巢湖人,出生于天津,中华人民共和国政治人物。1951年至1955年,在北京燕京大学、清华大学土木工程系学习。1955年毕业后,历任西北冶金建筑总公司
  • 灰色软件灰色软件(Greyware或Grayware),又称“信息安全威胁程序”这个名词是由趋势科技发明,用来泛指所有不被认为是电脑病毒或木马程序,但会对你所在机构的网络上所使用的电脑的性能造成
  • 维奥拉-琼斯目标检测框架维奥拉-琼斯目标检测框架(英语:Viola–Jones object detection framework)是第一种可以实时处理并给出很好的物体检出率的物体检测的方法,由保罗·维奥拉和迈克尔·琼斯于2001年
  • 伍德兰德 (阿拉巴马州)林地(英语:Woodland),是美国阿拉巴马州下属的一座城市。面积约为1.56平方英里(约合 4.04平方公里)。根据2010年美国人口普查,该市有人口184人,人口密度为118.1/平方英里(约合45.54/平
  • 陈浩明陈浩明(英语:Chan Ho Ming,1988年-)前九巴兼职车长。涉及大埔公路双层巴士翻侧事故,被控误杀罪罪成,现正服刑中。陈浩明在12岁时确诊阿氏保加症,曾在影楼工作。他于2014年1月入职九巴,隶属沙田车厂,原为全职车长,2017年9月转为兼职车长。他平日任职贸易公司,假日(星期六、日及公众假期)才于九巴兼职,并无固定驾驶路线,但大多会驾驶49X线。陈浩明在加入九巴后首年已涉及一宗交通意外。2014年8月2日凌晨,肇事车长驾驶一部丹尼士三叉戟12米双层空调巴士(车队编号:ATR83,车牌号码:HY