對擴張保持

對擴張保持(preserved under extensions)理論的一種模型論性質.如果獷中的理論T的任意模型的任意擴張仍是T的一個模型,即如果令片T且0dl c,,則.T,這時稱理論T為對擴張保持.丫中的理論T對擴張保持的充分必要條件是:T有一集存在語句(o語句)公理.

基本介紹

  • 中文名:對擴張保持
  • 外文名:preserved under extensions

相關詞條

熱門詞條

聯絡我們