モデル理論 = Model theory

所蔵情報QRコード

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

文献: p389-393

タイトルのヨミ:

モデルリロン

著者名ヨミ:

イタイ, マサノリ

主題:

言語:

日本語

目次情報:

第1部純粋モデル理論 : 基本事項

飽和モデル、素モデル

体の理論

独立性概念

可算範疇性ほか

第2部応用モデル理論 : Fra ̈iss ́e構成法

付値体のモデル理論

順序極小構造

整数論と数理論理学

ヒルベルト第5問題の一般化とPillay予想

第1部純粋モデル理論 : 基本事項

飽和モデル、素モデル

体の理論

独立性概念

可算範疇性ほか

第2部応用モデル理論 : Fra ̈iss ́e構成法

続きを見る

概要:

待望の本格専門書。純粋モデル理論と応用モデル理論の基本事項から最近の結果まで。

ブックレビュー

1 図書幾何的モデル理論入門板井, 昌典日本評論社	7 図書計算モデルの基礎理論井田, 哲雄(1947-) 岩波書店
2 図書幾何的モデル理論入門 : モデル理論の代数, 数論幾何への応用板井, 昌典日本評論社	8 図書 Continuous model theory Chang, Chen Chung, 1927-, Keisler, H. Jerome, 1936- Princeton University Press
3 図書完全性定理とモデル理論田中, 一之東京大学出版会	9 図書ホーアCSPモデルの理論吉田, 信博, Hoare, C. A. R. (Charles Antony Richard), 1934- 丸善
4 図書情報理論のための数理論理学板井, 昌典共立出版	10 図書数理モデル柳井, 浩(1937-) 朝倉書店
5 図書数学モデルの作り方と理論 : ソフト・ウェア工学入門加藤, 蕾二(1903-) 工学図書	11 図書ビジネスモデルYou : キャリア再構築のための1ページメソッド Clark, Tim, Osterwalder, Alexander, Pigneur, Yves, 神田, 昌典翔泳社
6 図書線形代数基礎数学研究会, 板井, 昌典東海大学出版会	12 図書計画経済の理論モデル Porwit, Krzysztof, 尾上, 久雄(1923-2014), 阪本, 靖郎日本評論社

1 図書幾何的モデル理論入門板井, 昌典日本評論社	7 図書計算モデルの基礎理論井田, 哲雄(1947-) 岩波書店
2 図書幾何的モデル理論入門 : モデル理論の代数, 数論幾何への応用板井, 昌典日本評論社	8 図書 Continuous model theory Chang, Chen Chung, 1927-, Keisler, H. Jerome, 1936- Princeton University Press
3 図書完全性定理とモデル理論田中, 一之東京大学出版会	9 図書ホーアCSPモデルの理論吉田, 信博, Hoare, C. A. R. (Charles Antony Richard), 1934- 丸善
4 図書情報理論のための数理論理学板井, 昌典共立出版	10 図書数理モデル柳井, 浩(1937-) 朝倉書店
5 図書数学モデルの作り方と理論 : ソフト・ウェア工学入門加藤, 蕾二(1903-) 工学図書	11 図書ビジネスモデルYou : キャリア再構築のための1ページメソッド Clark, Tim, Osterwalder, Alexander, Pigneur, Yves, 神田, 昌典翔泳社
6 図書線形代数基礎数学研究会, 板井, 昌典東海大学出版会	12 図書計画経済の理論モデル Porwit, Krzysztof, 尾上, 久雄(1923-2014), 阪本, 靖郎日本評論社