The server is under maintenance between 08:00 to 12:00 (GMT+08:00), and please visit later.
We apologize for any inconvenience caused
Login  | Sign Up  |  Oriprobe Inc. Feed
China/Asia On Demand
Journal Articles
Laws/Policies/Regulations
Companies/Products
Bookmark and Share
tui jian wu ben shi jie gong ren de luo ji xue zhu zuo
Author(s): 
Pages: 45-46
Year: Issue:  2
Journal: Philosophical Trends

Keyword:  公理化集合论数理逻辑相容性可构造性新内容结构设计基本理论前沿课题标准教材相关结果;
Abstract: <正> (1) G·Takeuti和W.M.Zaring的《公理化集合论导引》第2版(Introduction to Axiomatic Set Theory [2nd ed]),本书以Zermelo-Fraenke的理论为线索全面介绍公理化集合的Godel和Cohen相容性和独立性理论,用这种论述方式介绍,读者能较容易地掌握公理化集合论的基本理论以及其他相关结果,并进入到80年代的许多新的前沿课题。本书1971年初版,1982年第2版对初版作了全面刷新,增添了许多新内容,如Silver机、证明可构造性公理化相容性的结构设计等。本书可作为数理逻辑专业研究生一个学期集合论课程的标准教材。 (2) G·Takeuti和W.M.Zaring的《公理化集合论》(Axiomatic Set Theory)。本书是《公理化集合论导引》一
Related Articles
No related articles found