《模型論基礎》是1987年8月科學出版社出版的圖書，作者是王世強。
基本介紹
- 書名：模型論基礎
- 作者：王世強
- ISBN：9787030059956
- 頁數：241
- 定價：32.00元
- 出版社：科學出版社
- 出版時間：1987-8
- 裝幀：平裝
- 開本：16
- 版次：1
- 叢書名：現代數學基礎叢書
內容簡介,圖書目錄,
內容簡介
《現代數學基礎叢書·典藏版（22）：模型論基礎》介紹模型論的基礎知識，主要內容有：緊緻性定理，省略型定理，內插定理，完全理論與模型完全理論，初等鏈，超積，模型論力迫法，飽和模型等。並附有模型論方法對經典數學套用的一些例於。
《現代數學基礎叢書·典藏版（22）：模型論基礎》可供大學數學專業高年級學生及研究生、數學教師及數學工作者閱讀。也可供其他專業有關數理邏輯及理論計算機科學方面的師生及科學工作者參考。
《現代數學基礎叢書·典藏版（22）：模型論基礎》可供大學數學專業高年級學生及研究生、數學教師及數學工作者閱讀。也可供其他專業有關數理邏輯及理論計算機科學方面的師生及科學工作者參考。
圖書目錄
第一章 形式語言及其模型
第二章 緊緻性定理與LST定理
第三章 初等子模型與模型完全理論
第四章 超積基本定理
第五章 模型論力迫法
第六章 省略型定理
第七章 初等鏈的一些套用
第八章 內插定理
第九章 可數語言中的完全理論
第十章 w-範疇的可數完全理論
第十一章 Skolem函式與不可辨元
第十二章 飽和模型
第十三章 Keisler-Shelah同構定理
附錄I 一些判定問題
附錄II 模型論套用舉例（1）——非標準分析簡介
附錄III 模型論套用舉例（2）——CD代數的零點定理
參考文獻
第二章 緊緻性定理與LST定理
第三章 初等子模型與模型完全理論
第四章 超積基本定理
第五章 模型論力迫法
第六章 省略型定理
第七章 初等鏈的一些套用
第八章 內插定理
第九章 可數語言中的完全理論
第十章 w-範疇的可數完全理論
第十一章 Skolem函式與不可辨元
第十二章 飽和模型
第十三章 Keisler-Shelah同構定理
附錄I 一些判定問題
附錄II 模型論套用舉例（1）——非標準分析簡介
附錄III 模型論套用舉例（2）——CD代數的零點定理
參考文獻
