An introduction to independence for analysts

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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 the first accessible account of this result, and it includes a discussion, of Martin's Axiom and of the independence of CH.

Author(s): H. G. Dales, W. H. Woodin
Series: London Mathematical Society Lecture Note Series
Publisher: CUP
Year: 1987

Language: English
Pages: 255

CONTENTS......Page 5
Preface......Page 7
1.Homomorphisms from algebras of continuous functions......Page 15
2. Partial orders, Boolean algebras, and ultraproducts......Page 36
3. Woodin's condition......Page 57
4. Independence in set theory......Page 68
5. Martin's Axiom......Page 94
6. Gaps in ordered sets......Page 118
7. Forcing......Page 144
8. Iterated Forcing......Page 197
Bibliography......Page 243
Index of notation......Page 249
Index......Page 251