世界大百科事典（旧版）内のHeyting,A.の言及
【数学基礎論】より
…さらにクリーネの寄与に負うリカージョン･セオリーの発展に伴って，在来の記述集合論を含む統一的な理論として記述集合論を再展開することが可能となり，公理的集合論の発展とあいまって，記述的集合の濃度の問題やルベーグ可測性の問題など，1930年代未解決として残されていた諸問題のいくつかが解決され，記述集合論の隆盛をみることとなった。他方，ハイティングA.Heytingによる直観主義論理の形式化(1930)やゲーデルの解釈によって，直観主義の立場で用いられる論理が明確なものとなったが，帰納的関数を用いての直観主義的数学の合理化がクリーネによって試みられたのを契機として，直観主義の立場からの研究は構成的数学constructive mathematicsの研究とともに盛んに行われている。 なお，A.タルスキーやロビンソンA.Robinsonをそれぞれ中心とする学派で盛んに研究されてきたモデル論model theoryは，今日数理論理学における重要な分野として発展しているのみならず，公理的集合論をはじめ数学基礎論の各分野で有効な役割を果たしている。…
※「Heyting,A.」について言及している用語解説の一部を掲載しています。
出典｜株式会社平凡社「世界大百科事典（旧版）」