×

基本等价中的单数。 (英语) Zbl 0531.03032号

摘要:在本文中,我们证明了集合论域中的所有集合都可以定义为任意的真(Sd_V)类和任何不可分辨等价中的合适单体。我们还证明了存在一个单体\(\mu\),即\(Def_{\mu}\neqV \)。这些事实被进一步用于证明一些关于相似性的有趣断言;这里显示了一些特殊的相似情况必须是同一性的一部分。

MSC公司:

03E70型 非经典和二阶集合论
54J05型 非标准拓扑
PDF格式BibTeX公司 XML格式引用
全文: 欧洲DML