传递模型

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

例子

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

性质

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

参考资料