模型論基礎

定　價：￥32.00

作　者：	王世強著
出版社：	科學出版社
叢編項：	現代數學基礎叢書
標　簽：	暫缺

購買這本書可以去

當當網 (￥25.60)

ISBN：	9787030059956	出版時間：	1987-01-01	包裝：	膠版紙
開本：	20cm	頁數：	241頁	字數：

內容簡介

　　本書介紹模型論的基礎知識。主要內容有：緊致性定理，省略型定理，內播定理，完全理論與模型完全理論，初等鍵，越積，模型論力迫法，他和模型等．并附有模型論方法對經典數學應用的一些例子。本書可供大學數學專業(yè)高年級學生及研究生、數學教師及數學工作者閱讀．也可供其他專業(yè)有關數理邏輯及理論計算機科學方面的師生及科學工作者參考。

作者簡介

暫缺《模型論基礎》作者簡介

圖書目錄

第一章形式語言及其模型
第二章緊致性定理與LST定理
第三章初等子醛民模型完全理論
第四章超積基本定理
第五章模型論力迫法
第六章省略型定理
第七章初等鏈的一些應用
第八章內插定理
第九章可數語言中的完全理論
第十章 ω-范疇的可數完全理論
第十一章 Skolem函數與不可辨元
第十二章飽和模型
第十三章 Keisler-Shelah同構定理
附錄Ⅰ 一些判定問題
附錄Ⅱ 模型論應用舉例（1）——非標準分析簡介
附錄Ⅲ 模型論應用舉例（2）——CD代數的零點定理
參考文獻