摘要
(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)。本书是《公理化集合论导引》
出处
《哲学动态》
CSSCI
北大核心
1989年第2期45-46,共2页
Philosophical Trends
