模型論基礎(chǔ)

內(nèi)容概要

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

書籍目錄

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

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    模型論基礎(chǔ) PDF格式下載

---