開啟主選單

求真百科

模型論(英語: 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]

視頻

模型論 相關視頻

模型島】模型論進化者 10 深度洗筆(德系)
周易大智慧-數理邏輯學

參考文獻

  1. 100部科普經典名著,豆瓣,2018-04-26
  2. 工具書及其分類,豆丁網,2014-03-19