模型論基礎(chǔ)

第一章 形式語言及其模型
第二章 緊致性定理與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)