模型論基礎(chǔ)

內(nèi)容概要

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

作者簡介

王世強(qiáng)，數(shù)學(xué)家。從事代數(shù)和數(shù)理邏輯方面的教學(xué)與研究。在格論和泛代數(shù)、邏輯演算、格值模型論及模型論的代數(shù)應(yīng)用等領(lǐng)域多有建樹。1948年畢業(yè)北平師范大學(xué)數(shù)學(xué)系。建國后，歷任北京師范大學(xué)副教授、教授。1985年加入中國共產(chǎn)黨。專于數(shù)理邏輯和代數(shù)，倡導(dǎo)模型論的研究。從計(jì)算機(jī)科學(xué)、多值邏輯和模糊邏輯發(fā)展背景中提出格值模型論，并將模型論應(yīng)用于代數(shù)方面，研究一些命題間的相對和諧性和獨(dú)立性?！澳Ｐ驼撆c判定問題”的研究1986年獲國家教委科技進(jìn)步獎一等獎。
擴(kuò)展閱讀：http://baike.baidu.com/view/313388.htm

書籍目錄

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

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

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

---