Introduction to Independence for Analysts e-bog
265,81 DKK
(inkl. moms 332,26 DKK)
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 acc...
E-bog
265,81 DKK
Forlag
Cambridge University Press
Udgivet
22 marts 2011
Genrer
Probability and statistics
Sprog
English
Format
pdf
Beskyttelse
LCP
ISBN
9780511892318
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.