传递模型
在数学集合论上,传递模型是一个标准且传递的集合论模型。“标准”指这模型的关系是其元素间惯常的属于关系;而“传递”则指这集合是一个传递集合或类。
例子
- 内模型是包含所有序数的传递模型。
- 可数传递模型(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.