An Introduction to Independence for Analysts (London Mathematical Society Lecture Note Series, Series Number 115) (Volume 0) - Softcover

Book 104 of 387: London Mathematical Society Lecture Notes

Dales, H. G.; Woodin, W. H.

 
9780521339964: An Introduction to Independence for Analysts (London Mathematical Society Lecture Note Series, Series Number 115) (Volume 0)

Synopsis

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.

"synopsis" may belong to another edition of this title.

Book 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.

"About this title" may belong to another edition of this title.