Kochen, S.

…This is a concept that exists within ordinary mathematics, and in a sense is easy to understand. In 1965, J. Ax and S. Kochen used this method to solve E. Artin's conjecture on n -dimensional d -forms over local fields, which had been an unsolved problem for many years. The above method using model theory cannot supernormalize all of mathematics in one go. …

*Some of the terminology references "Kochen, S." are listed below.

Source | Heibonsha World Encyclopedia 2nd Edition | Information

…これは通常の数学の内部にある概念であり，ある意味ではわかりやすい。1965年に，アクスJ.AxとコチェンS.Kochenはこのやりかたで長年未解決の問題であった局所体上のn元d次形式に関するE.アルティンの予想を解いた。　モデル理論を使う上述のやりかたでは全数学を一挙に超準化することはできない。…

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

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