模型論
模

模型論　　　mó xíng lùn

數(shù)理邏輯的主要分支之一。研究形式理論（即*形式系統(tǒng)中的一組公理或公式）和它的解釋——模型之間的關(guān)系。由于代數(shù)中一些經(jīng)典的例子導(dǎo)致模型論中許多重要概念的產(chǎn)生，從這個(gè)意義上可以認(rèn)為，模型論就是邏輯加上泛代數(shù)。研究構(gòu)造模型的一般方法也是模型論的一個(gè)主要課題。20世紀(jì)50年代初在亨金(Leon Albert Henkin, 1921—)、塔爾斯基和羅賓遜(Abraham Robinson,1918—1974)的工作和倡導(dǎo)下，模型論發(fā)展成一個(gè)獨(dú)立的研究領(lǐng)域，60年代又有很大進(jìn)展。其方法已廣泛應(yīng)用到數(shù)學(xué)的其他領(lǐng)域，特別是集合論、代數(shù)、數(shù)學(xué)分析、數(shù)論等。