An introduction to independence for analysts
By: H.G. Dales, W.H. Woodin.
Contributors: Woodin, W. H.
Series: London Mathematical Society lecture note series ;; 115
Publisher: Cambridge University Press
Published: 1987
Place of publication: Cambridge; New York
Language: eng
Number of pages: 241
Subjects: Forcing (Model theory); Independence (Mathematics); Axiomatic set theory
Description: 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.
Notes: Bibliography: p. 229-234.
Includes indexes.