模型论

模型论   mó xíng lùn

数理逻辑的主要分支之一。研究形式理论(即*形式系统中的一组公理或公式)和它的解释——模型之间的关系。由于代数中一些经典的例子导致模型论中许多重要概念的产生,从这个意义上可以认为,模型论就是逻辑加上泛代数。研究构造模型的一般方法也是模型论的一个主要课题。20世纪50年代初在亨金(Leon Albert Henkin, 1921—)、塔尔斯基罗宾逊(Abraham Robinson,1918—1974)的工作和倡导下,模型论发展成一个独立的研究领域,60年代又有很大进展。其方法已广泛应用到数学的其他领域,特别是集合论、代数、数学分析、数论等。