模型論方法

模型論方法(model theoretic method)研究判定問題的一種方法.用模型論方法的證明，一般是基於如下事實:若理論T有一個遞歸可枚舉的公理集，並且T是完備的，則理論T是可判定的.而理論T的完備性，很多是通過模型論方法證明的.例如，許多證明都用到了以下定理:若理論T沒有有窮模型，並且存在某個無窮基數a，使T為a範疇的(即T的任何兩個基數為a的模型是同構的)，則T為完備理論.此外，通過適當的改進，上述方法還可以套用到一些非完備理論上.