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.
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.
Book Information
ISBN 9780521339964
Author H. G. Dales
Format Paperback
Page Count 256
Imprint Cambridge University Press
Publisher Cambridge University Press
Weight(grams) 736g
Dimensions(mm) 228mm * 152mm * 26mm
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.
Book Information
ISBN 9780521339964
Author H. G. Dales
Format Paperback
Page Count 256
Imprint Cambridge University Press
Publisher Cambridge University Press
Weight(grams) 736g
Dimensions(mm) 228mm * 152mm * 26mm
