An introduction to independence for analysts
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 nat...
| Main Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Cambridge
Cambridge University Press
1987
|
| Series: | London Mathematical Society lecture note series
|
| Subjects: | |
| Online Access: | |
| Collection: | Cambridge Books Online - Collection details see MPG.ReNa |
| Summary: | 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. |
|---|---|
| Physical Description: | xiii, 241 pages digital |
| ISBN: | 9780511662256 |