An introduction to independence for analysts
Author(s)
Bibliographic Information
An introduction to independence for analysts
（London Mathematical Society lecture note series, 115）
Cambridge University Press, 1987
Available at 57 libraries
Note
Bibliography: p. 229-234
Includes indexes
Description and Table of Contents
Description
Forcing is a powerful tool from logic which is used to prove that certain propositions of mathematics are independent of the basic axioms of set theory, ZFC. This book explains clearly, to non-logicians, the technique of forcing and its connection with independence, and gives a full proof that a naturally arising and deep question of analysis is independent of ZFC. It provides an accessible account of this result, and it includes a discussion, of Martin's Axiom and of the independence of CH.
Table of Contents
- 1. Homomorphisms from algebras of continuous functions
- 2. Partial orders, Boolean algebras, and ultraproducts
- 3. Woodin's condition
- 4. Independence in set theory
- 5. Martin's Axiom
- 6. Gaps in ordered sets
- 7. Forcing
- 8. Iterated Forcing.
by "Nielsen BookData"