正常力迫法檢視原始碼討論檢視歷史

原圖鏈接來自 孔夫子舊書網 的圖片

《正常力迫法》，關於數理邏輯的公理集論中力迫方法的專著。S.希拉哈著。柏林斯普林格出版社1982年出版。

內容簡介

本書共分14章，496頁。反映了作者70年代末在力迫法方面的主要工作。前兩章介紹了力迫法的基本概念及主要定理，以及迭代力迫方法。第3章引入了本節的中心概念「正常力迫」。並證明了可數支集迭代保持正常力迫特徵。以後的各章則進一步發展了正常力迫概念並給出了許多應用。第4章構造了一個力迫擴張模型，證明在這個模型中P(ω)/Fin沒有非平凡的自同構。第5章則引入了「α-properness」和「完備性」的概念，主要目的是保證這種力迫不增加新的實數。第6章的主題是「P—點和Ramsey超濾的存在性問題」，引入了幾種復蓋特徵。第7、8章討論了兩類廣義馬丁公理，它們的變種及其應用，但沒有詳細的證明它們。第9章引入了力迫的自由極限的概念，並證明了這種迭代方法保持正常力迫性質。第10章提出了「半正常力迫」的概念，它包含更多的偏序集合。還討論了一種新的迭代力迫方法「修正的可數支集迭代」。並證明了「半正常力迫」在這種迭代下的保持性。並應用這種新力迫方法討論了「Avraham問題」和「Friedman問題」。第11章引入了「S-條件」的概念，改進了上一章的結果。證明了一些等價諧調性的命題。第12章證明了在張猜想成立的條件下Namba偏序是半正常力迫。最後兩章涉及到一些不同的領域。第13章包含兩個不同的課題。第1個是一種強復蓋引理。另一個是並可奇異基數的冪問題，證明了「對每個極限序數δ如果β=(|δ|cf(δ))t)則λSδcf(δ)<λSβ」。還列出了一些關於奇異基數的未解決的問題。最後一章討論了「弱方塊假設」並且給出了它在「懷特黑德問題」上的一些應用。

根據作者的建議，本書的前3章可以作為教科書使用。但是本書中的大部分證明是不完全的，需要讀者自己補足。本書只適合於具有豐富的力迫法知識的讀者閱讀。

作者簡介

S.希拉哈(S.Shelah 1947—)，以色列數理邏輯學家。1969年在耶路撒冷的希伯萊大學獲博士學位。在希伯萊大學、美國的普林斯頓大學、加利福尼亞大學洛杉磯分校、威斯康星大學、俄亥俄州立大學等校任教授。自己和合作的論文多達300多篇，主要著作還有《分類理論和不同構模型的個數》。他的工作主要集中在數理邏輯的模型論和集合論分支。

工具書

工具書是專供查找知識信息的文獻。它系統匯集某方面的資料，按特定方法加以編排，以供需要時查考使用。根據工具書的基本性質和使用功能，可以劃分為檢索性工具書和參考性工具書（美國工具書專家蓋茨稱其為控制-檢索型工具書和資料型工具書，Information:control and access，Sources of information)。另外還可以根據語種、學科內容、規模大小等標準進行劃分。

視頻

正常力迫法 相關視頻

《生活中的邏輯學》 邏輯學1為什麼要學習邏輯學