可構成性檢視原始碼討論檢視歷史
《可構成性》，數理邏輯的公理集合論分支的可構成性研究領域中的專著。K.J.戴伏林著。1984年德國柏林出版英文本。
內容簡介
本書共9章，分兩大部分。第1部分5章，是初等理論，涉及到可構成集的Lα層的標準定義。第2部分4章，是高級理論，涉及到Jα層和耶森的「有窮結構理論」。第1章是集合論基礎和本書所用到的基本概念。第2章是可構成類L的定義及其基本性質，L中的ZF公理，選擇公理，廣義連續統假設。第3章是L中的W1樹，解決了在L中蘇斯林樹和阿軟枝樹的存在性問題；並證明了V=L蘊含着卡帕假設成立和某些組合原則成立。第4章進一步研究了L中的K+樹和有窮結構理論。第5章描述了O的概念及其某些性質，包括O的定義和覆蓋引理。第6章是在第4章的基礎上對有窮結構理論作了深入的研究。第7章是L中的樹與大基數；得出了當K是不可達基數時，且V=L，則K蘇斯林樹和卡帕樹與大基數緊密相關的結論。第8章是陷阱定理和基數轉換定理。第9章是斯裡屋機器。本書為進一步研究可構成理論提供了基礎，為更好地解決集合論方面的問題提供了又一有力方法，在集合論的發展以至數理邏輯的研究中占重要地位。
作者簡介
K.J.戴伏林(Keith J.Devlin)，英國人。在英國的蘭開斯特大學數學系任教和從事數理邏輯特別是集合論研究。主要著作還有《可構成性的幾個側面》、《當代集合論基礎》、《蘇斯林問題》(合著)。
工具書
工具書是專供查找知識信息的文獻。它系統匯集某方面的資料，按特定方法加以編排，以供需要時查考使用。根據工具書的基本性質和使用功能，可以劃分為檢索性工具書[1]和參考性工具書[2]（美國工具書專家蓋茨稱其為控制-檢索型工具書和資料型工具書，Information:control and access，Sources of information)。另外還可以根據語種、學科內容、規模大小等標準進行劃分。
視頻
可構成性 相關視頻
參考文獻
- ↑ 檢索工具書可以用哪些 ，搜狐，2019-12-20
- ↑ 參考工具書，道客巴巴，2013-03-30