世界大百科事典（旧版）内のmodeltheoryの言及
【数学基礎論】より
…他方，ハイティングA.Heytingによる直観主義論理の形式化(1930)やゲーデルの解釈によって，直観主義の立場で用いられる論理が明確なものとなったが，帰納的関数を用いての直観主義的数学の合理化がクリーネによって試みられたのを契機として，直観主義の立場からの研究は構成的数学constructive mathematicsの研究とともに盛んに行われている。 なお，A.タルスキーやロビンソンA.Robinsonをそれぞれ中心とする学派で盛んに研究されてきたモデル論model theoryは，今日数理論理学における重要な分野として発展しているのみならず，公理的集合論をはじめ数学基礎論の各分野で有効な役割を果たしている。もともと構文syntax的研究の立場に端を発しているリカージョン･セオリーにおいても，その対象が一般化(例えば順序数上の帰納的関数や帰納的汎関数など)されるに伴って，意味論semantics的研究にその端を発するモデル論的手法が有効に用いられている。…
※「modeltheory」について言及している用語解説の一部を掲載しています。
出典｜株式会社平凡社「世界大百科事典（旧版）」