传递模型

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

例子

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

性质

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

参考资料

  • Jech, Thomas. Set Theory. Springer Monographs in Mathematics Third Millennium. Berlin, New York: Springer-Verlag. 2003. ISBN 978-3-540-44085-7. Zbl 1007.03002.