-
模型論力迫
鎖定
模型論力迫是借鑑於力迫法而得到的一類構作模型的方法。
- 中文名
- 模型論力迫
- 定 義
- 借鑑於力迫法而得到的一類構作模型的方法
模型論力迫（model theoretic forcing）借鑑於力迫法而得到的一類構作模型的方法，這裏只介紹其中較簡單的有限力迫的概念.設語言丫可數語言.T為為穿中的協調理論，令W=Uc，其中c為一可數無限的新常元集.設s是由進之、中有限原子語句或原子語句的否定所成的集合，如果rUs協調.則稱s是一個r條件(注意:空集是T條件).設屍是一個T條件，對於r中的語句滬，按其結構如下歸納地定義概念“屍力迫尹，記為屍卜抓或必要時記為屍卜T卯:
- 詞條統計
-
- 瀏覽次數：次
- 編輯次數：8次歷史版本
- 最近更新： 囗白茫4q0茫