模型論力迫

模型論力迫(model theoretic forcing)借鑑於力迫法而得到的一類構作模型的方法.這裡只介紹其中較簡單的有限力迫的概念.設語言丫可數語言.T為為穿中的協調理論，令W=}Uc，其中c為一可數無限的新常元集.設s是由進之、中有限原子語句或原子語句的否定所成的集合，如果rUs協調.則稱s是一個r條件(注意:空集是T條件).設屍是一個T條件，對於}r中的語句滬，按其結構如下歸納地定義概念“屍力迫尹，記為屍卜抓或必要時記為屍卜T卯:

模型論力迫

相關詞條

熱門詞條