Notes On Forcing Axioms

Saved in:
Bibliographic Details
Title: Notes On Forcing Axioms
Description: In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also behind a number of fundamental results such as the Open Mapping Theorem or the Banach-Steinhaus Boundedness Principle. This volume brings the Baire category method to another level of sophistication via the internal version of the set-theoretic forcing technique. It is the first systematic account of applications of the higher forcing axioms with the stress on the technique of building forcing notions rather than on the relationship between different forcing axioms or their consistency strengths.
Authors: Stevo Todorcevic, Chi Tat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Yue Yang
Resource Type: eBook.
Subjects: Forcing (Model theory), Axioms, Baire classes
Categories: MATHEMATICS / Logic, MATHEMATICS / Set Theory, MATHEMATICS / Study & Teaching
Database: eBook Collection (EBSCOhost)
Description
Abstract:In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also behind a number of fundamental results such as the Open Mapping Theorem or the Banach-Steinhaus Boundedness Principle. This volume brings the Baire category method to another level of sophistication via the internal version of the set-theoretic forcing technique. It is the first systematic account of applications of the higher forcing axioms with the stress on the technique of building forcing notions rather than on the relationship between different forcing axioms or their consistency strengths.
ISBN:9789814571579
9789814571586
9789814571593