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
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
DC19:511.3/D1412070071121
-
No Libraries matched.
- Remove all filters.
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"
