出版社内容情報
1993年、E. Hrishovskiにより、モデル理論の手法を使って幾何的Mordell-Lang予想(関数体Mordell-Lang予想)が完全解決されたことを契機に、数理論理学の一分野である(幾何的)モデル理論の代数幾何学・数論幾何学への応用が注目されはじめた。この成果を解説した旧版から20年。本書では、この20年で変容した幾何的モデル理論の研究や、代数幾何学・数論幾何学とモデル理論との現在の関係性を追記して解説する。
内容説明
幾何的モデル理論「第２世代」の成果がここに！Ｅ．Ｈｒｕｓｈｏｖｓｋｉによる、幾何的（関数体）モーデル‐ラング予想のモデル理論的手法による解決の詳細を解説した旧版から約２０年。幾何的モデル理論の研究がこの２０年でどのように変容したのか、また代数幾何学・数論幾何学とモデル理論との現在の関係性を簡潔に解説する。
目次
１ モデル理論とは
２ 整数論との交流
３ 幾何的モデル理論
４ 体を再構成する
５ ザリスキー幾何
６ Ｅ．Ｈｒｕｓｈｏｖｓｋｉの仕事
７ Ｈｒｕｓｈｏｖｓｋｉの証明のその後
附録Ａ 予備知識
附録Ｂ 文献ノート
著者等紹介
板井昌典［イタイマサノリ］
１９５３年広島県に生まれる。１９７８年神戸大学理学部数学科を卒業。１９８９年イリノイ大学大学院修了。Ｐｈ．Ｄ．。１９９４年４月東海大学理学部情報数理学科着任（助教授）。２００４年４月東海大学理学部情報数理学科教授。２０１９年３月東海大学理学部情報数理学科退職。現在、東海大学理学部情報数理学科非常勤講師。専門はモデル理論（数学基礎論）（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
