Forcing for mathematicians /
Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set theory, forcing has been seen by the general mathematical community as a subject of great intrinsic interest but one that is technically so forbid...
Saved in:
Main Authors: | |
---|---|
Published: |
World Scientific,
|
Publisher Address: | Hackensack, New Jersey : |
Publication Dates: | [2014] |
Literature type: | Book |
Language: | English |
Subjects: | |
Summary: |
Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set theory, forcing has been seen by the general mathematical community as a subject of great intrinsic interest but one that is technically so forbidding that it is only accessible to specialists. In the past decade, a series of remarkable solutions to long-standing problems in C*-algebra using set-theoretic methods, many achieved by the author and his collaborators, have generated new interest in this subject. This is the first book aimed at expla |
Carrier Form: | x, 142 pages ; 24 cm |
Bibliography: | Includes bibliographical references (pages 133-135) and index. |
ISBN: |
9789814566001 (hardcover : alkaline paper) : 9814566004 (hardcover : alkaline paper) 9789814566957 (paperback : alkaline paper) 9814566950 (paperback : alkaline paper) |
Index Number: | QA9 |
CLC: |
O144 O141.4 |
Call Number: | O141.4/W363-1 |
Contents: | 1. Peano arithmetic -- 2. Zermelo-Fraenkel set theory -- 3. Well-ordered sets -- 4. Ordinals -- 5. Cardinals -- 6. Relativization -- 7. Reflection -- 8. Forcing notions -- 9. Generic extensions -- 10. Forcing equality -- 11. The fundamental theorem -- 12. Forcing CH -- 13. Forcing [symbol]CH -- 14. Families of entire functions -- 15. Self-homeomorphisms of [symbols]I* -- 16. Pure sttes on [symbol](H)* -- 17. The diamond principle -- 18. Suslin's problem, I* -- 19. Naimark's problem* -- 20. A stronger diamond -- 21. Whitehead's problem, I* -- 22. Iterated forcing -- 23. Martin's axiom -- 24. |