Model theory

…On the other hand, the logic used in the intuitionist position became clear through A. Heyting's formalization of intuitionistic logic (1930) and Gödel's interpretation, but since Kleene's attempt to rationalize intuitionistic mathematics using inductive functions, research from the intuitionist position has been actively conducted along with research on constructive mathematics. In addition, model theory, which has been actively studied in the schools centered around A. Tarski and A. Robinson, is not only developing as an important field in mathematical logic today, but also plays an effective role in various fields of mathematical foundations, including axiomatic set theory. Even in recursion theory, which originally originated from the perspective of syntax research, model-theoretic methods originating from semantic research are being effectively used as its subject matter has become more generalized (for example, inductive functions and inductive functionals on ordinals). …

*Some explanations of terms that mention "model theory" are listed below.

Source | Heibonsha World Encyclopedia 2nd Edition | Information

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

※「model theory」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社世界大百科事典 第２版について | 情報