可傳模型

可傳模型

可傳模型(transitive model)是一類標準模型。

基本介紹

  • 中文名:可傳模型
  • 外文名:transitive model)
定義
若M為集合論語言的一個標準模型且M可傳,則稱M為一個可傳模型.可傳模型是集合論相容性與獨立性證明中最常採用的一類模型.模型的可傳性可保證模型滿足外延公理,也可保證許多集合論概念絕對.由崩塌數學辭海第4卷定理,任意良基模型均同構於一個可傳模型.可數的可傳模型稱為可數可傳模型,記為 CTM.這種模型在力迫法中經常採用.

相關詞條

熱門詞條

聯絡我們