集合论科技名词
集合论科技名词:第2页
序数积
ordinal product
序数幂
ordinal power
超穷序数
transfinite ordinal
第一超穷序数
first transfinite ordinal
极限序数
limit ordinal number
初始序数
initial ordinal
初始段
initial segment
尾段
final segment
有向集
directed set
奇异序数
singular ordinal
正则基数
regularity cardinal
奇异基数
singular cardinal
构造序数
constructive ordinals
世传有穷集
hereditarily finite set
归纳定义
definition by induction
超穷归纳法
transfinite induction
超穷归纳定义
definition by transfinite induction
可构成壳
constructible hull
可构成性
constructibility
构造性定义
constructive definition
可构成[的]
constructible
精细结构
fine structure
共尾性
cofinality
共尾子集
cofinal subset
力迫条件
forcing condition
力迫法
forcing method
力迫关系
forcing relation
脱殊集
generic set
绝对性
absoluteness
正常力迫
proper forcing
首页
上一页
第2页
下一页
集合论 的上级学科
数学
数理逻辑数学基础