跳转到内容

传递模型

维基百科,自由的百科全书

在数学集合论上,传递模型是一个标准且传递的集合论模型。“标准”指这模型的关系是其元素间惯常的属于关系;而“传递”则指这集合是一个传递集合或类。

例子

[编辑]
  • 内模型是包含所有序数的传递模型。
  • 可数传递模型(countable transitive model,缩写为CTM),顾名思义,是一个包含可数多个元素的传递模型。

性质

[编辑]

为传递模型,则是标准的,这表示说这模型的正整数、整数及有理数都与其标准变体相同;此外,传递模型的每个实数都是标准的实数,但这不表示传递模型需要包含所有的标准实数。

参考资料

[编辑]