TY  - BOOK
AU  - Dales,H.G.
AU  - Woodin,W.H.
TI  - An introduction to independence for analysts
T2  - London Mathematical Society lecture note series
SN  - 9780511662256 (ebook)
AV  - QA9.7 .D35 1987
U1  - 511.3/22 19
PY  - 1987///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Forcing (Model theory)
KW  - Independence (Mathematics)
KW  - Axiomatic set theory
N1  - Title from publisher's bibliographic system (viewed on 05 Oct 2015)
N2  - 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
UR  - https://doi.org/10.1017/CBO9780511662256
ER  -