Dales, H.G
An introduction to independence for analysts - New York Cambridge University Press 1987 - xiii, 241p - London Mathematical Society lecture note series 115 .
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
0521339960
Forcing (Model theory)
Independence (Mathematics)
Axiomatic set theory
510.6 / DAL
An introduction to independence for analysts - New York Cambridge University Press 1987 - xiii, 241p - London Mathematical Society lecture note series 115 .
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
0521339960
Forcing (Model theory)
Independence (Mathematics)
Axiomatic set theory
510.6 / DAL