傳遞模型
在數學集合論上,傳遞模型是一個標準且傳遞的集合論模型。「標準」指這模型的關係是其元素間慣常的屬於關係;而「傳遞」則指這集合是一個傳遞集合或類。
例子
編輯- 內模型是包含所有序數的傳遞模型。
- 可數傳遞模型(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.