An Introduction to Independence for Analysts / H. G. Dales, W. H. Woodin.
Material type:
TextSeries: London Mathematical Society Lecture Note Series ; no. 115 | London Mathematical Society Lecture Note Series ; no. 115.Publisher: Cambridge : Cambridge University Press, 1987Description: 1 online resource (256 pages) : digital, PDF file(s)Content type: - text
- computer
- online resource
- 9780511662256 (ebook)
- 511 19
- QA9.7 .D35 1987
E-BOOKS
| Home library | Call number | Materials specified | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | Link to resource | Available | EBK11951 |
Title from publisher's bibliographic system (viewed on 16 Oct 2015).
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.