An Introduction to Independence for Analysts
H. G. Dales, W. H. Woodin
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 the first accessible account of this result, and it includes a discussion, of Martin's Axiom and of the independence of CH.
Categories:
Year:
1987
Publisher:
Cambridge University Press
Language:
english
Pages:
255
ISBN 10:
0521339960
ISBN 13:
9780521339964
Series:
London Mathematical Society Lecture Note Series
File:
PDF, 1.61 MB
IPFS:
,
english, 1987