图书标签: Logic 集合论 数学 nemlophics First-order-Logic First-order
发表于2024-12-23
Multiple Forcing pdf epub mobi txt 电子书 下载 2024
In this 1987 text Professor Jech gives a unified treatment of the various forcing methods used in set theory, and presents their important applications. Product forcing, iterated forcing and proper forcing have proved powerful tools when studying the foundations of mathematics, for instance in consistency proofs. The book is based on graduate courses though some results are also included, making the book attractive to set theorists and logicians.
最好和最容易上手的力迫法入门读物,可在读完kunen的set theory中的力迫法章节后阅读。
评分最好和最容易上手的力迫法入门读物,可在读完kunen的set theory中的力迫法章节后阅读。
评分最好和最容易上手的力迫法入门读物,可在读完kunen的set theory中的力迫法章节后阅读。
评分最好和最容易上手的力迫法入门读物,可在读完kunen的set theory中的力迫法章节后阅读。
评分最好和最容易上手的力迫法入门读物,可在读完kunen的set theory中的力迫法章节后阅读。
评分
评分
评分
评分
Multiple Forcing pdf epub mobi txt 电子书 下载 2024