模型论查看源代码讨论查看历史
模型论(英语: model theory ),国际上第一本模型论专著。张晨钟与詹·凯斯勒合著。1973年初版,1977年第2版,已被译成俄文出版。收编于《世界百科名著大辞典》。
内容简介
本书分为7章。前5章为模型论的基本内容,以构作模型的方法为纲组织材料。第1章为基本概念及准备知识。第2章介绍常量构作法及其应用,包括紧致性定理、省略型定理、内插定理及可数完备理论等。第3章介绍初等子模型、模型完备理论、初等链及其对保持性定理的应用、斯科伦(Skolem)函数与不可辨元等。第4章介绍超积基本定理以及超积对于公理集合论中大基数理论的应用等。第5章介绍饱和模型及其推广,以及饱和模型理论对代数的应用,其中包括J.艾克斯(AX)与S.科琴(Kochen)对于赋值域理论中阿廷(Artin)猜想的证明,后两章介绍前几章各种方法对一些较专门问题的进一步应用和发展,其中有凯斯勒一什拉赫(Keisler-She-lah)同构定理,归约积与霍恩(Horn)语句的理论,莫利(Morley)范畴性定理以及模型论对大基数理论的进一步应用,等等。除正文外,还附有大量习题(其中也包括了不少文献中的专题内容),并在书末对每章主要内容的历史作了注记。
作者简介
张晨钟(Chen-chunng zhang),又名张辰中,美籍华人。数理逻辑学家。数学博士,加州大学洛杉矶分校数学系教授,主要从事模型论研究。詹·凯斯勒,1961年在伯克利获博士学位。美国威斯康辛大学麦迪逊分校数学系教授,主要从事模型论研究。
《世界百科名著大辞典》
书籍,是思维的结晶,知识的宝库,智慧的源泉,人类最主要的精神食粮。名著,则是书籍中的精华[1]。它标志着人类认识发展的水平,影响乃至支配人们的思想和行动,影响乃至支配社会的各种实践活动。《世界百科名著大辞典》,在浩如烟海的书籍中,筛选出价值高、作用大、影响广的一万部名著,把它们汇集一起,根据科学文化知识体系的区别和联系加以分门别类,并逐部作出精要的诠释。可以说,这是对科学文化的一次总结,是一项很有价值的科学文化建设工程。这部辞典是一部很有用的工具书[2]。
视频
模型论 相关视频
参考文献
- ↑ 100部科普经典名著,豆瓣,2018-04-26
- ↑ 工具书及其分类,豆丁网,2014-03-19