模型论方法

模型论方法(model theoretic method)研究判定问题的一种方法. 用模型论方法的证明，一般是基于如下事实:若理论T有一个递归可枚举的公理集，并且T是完备的，则理论T是可判定的.而理论T的完备性，很多是通过模型论方法证明的.例如，许多证明都用到了以下定理:若理论T没有有穷模型，并且存在某个无穷基数a，使T为a范畴的(即T的任何两个基数为a的模型是同构的)，则T为完备理论.此外，通过适当的改进，上述方法还可以应用到一些非完备理论上.