力迫关系
规范用词
力迫关系
英文翻译
forcing relation
所属学科
数学
>
数理逻辑数学基础
>
集合论
名词审定
数学名词审定委员会
见载刊物
《
数学名词
》 科学出版社
公布时间
1993年
集合论 的上级学科
数学
数理逻辑数学基础
力迫关系 相关科技名词
集合论
set theory
描述集合论
descriptive set theory
朴素集合论
naive set theory
公理化集合论
axiomatic set theory
策梅洛-弗兰克尔集合论
Zermelo-Frankel set theory
直谓集合论
predicative set theory
非直谓集合论
impredicative set theory
外延性
extensionality
确定性
determinacy
投影确定性
projective determinacy
佐恩引理
Zorn lemma
选择公理
axiom of choice
选择函数
choice function
归纳序集
inductive ordered set
连续统
continuum
连续统假设
continuum hypothesis
广义连续统假设
generalized continuum hypothesis
概括公理
comprehension axiom
正则公理
regularity axiom
正则集
regular set
本元
urelement
分支类型论
ramified theory of types
隶属关系
membership
初步集[合]
rudimentary set
平稳集[合]
stationary set
良序[的]
well-ordered
良序集[合]
well-ordered set
良序原则
well-ordering principle
序数
ordinal
序数和
ordinal sum
序数积
ordinal product
序数幂
ordinal power
超穷序数
transfinite ordinal
第一超穷序数
first transfinite ordinal
极限序数
limit ordinal number
初始序数
initial ordinal
初始段
initial segment
尾段
final segment
有向集
directed set
奇异序数
singular ordinal