An introduction to independence for analysts
Material type:
TextLanguage: English Series: London Mathematical Society lecture note series ; 115Publication details: New York Cambridge University Press 1987Description: xiii, 241pISBN: 0521339960Subject(s): Forcing (Model theory) | Independence (Mathematics) | Axiomatic set theory | MathematicsSummary: 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
BOOKS
| Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | 510.6 DAL (Browse shelf (Opens below)) | Available | 24786 |
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
There are no comments on this title.