Notes on constructive set theory
Notes on constructive set theory
复制标题
构造性集合论的注释
DOI：
--
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
M. Rathjen
中科院分区：
文献类型：
--
作者：
P. Aczel;M. Rathjen
4集合和类上的运算25 4.1类记法. . . . . . . . . . . . . . . . . . . . . . . . . 25.4.2阶级关系和职能. . . . . . . . . . . . . . . . . 26.4.3工会更替的一些后果。. . . . . . . . . . 4.4罗素悖论. . . . . . . . . . . . . . . . . . . . . . . . 29 4.5子集收集和指数化。. . . . . . . . . . . . . 30 4.6 Binary Refinement . . . . . . . . . . . . . . . . . . . . . . . . 32
4 Operations on Sets and Classes 25 4.1 Class Notation . . . . . . . . . . . . . . . . . . . . . . . . . . 25 4.2 Class Relations and Functions . . . . . . . . . . . . . . . . . . 26 4.3 Some Consequences of Union-Replacement . . . . . . . . . . . 27 4.4 Russell’s paradox . . . . . . . . . . . . . . . . . . . . . . . . . 29 4.5 Subset Collection and Exponentiation . . . . . . . . . . . . . . 30 4.6 Binary Refinement . . . . . . . . . . . . . . . . . . . . . . . . 32