
An Introduction to Independence for Analysts
PAYBACK Punkte
35 °P sammeln!
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.