Chargement en cours…

An introduction to independence for analysts /

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

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Dales, H. G. (Harold G.), 1944-
Autres auteurs: Woodin, W. H. (W. Hugh)
Format: Électronique eBook
Langue:Inglés
Publié: Cambridge ; New York : Cambridge University Press, 1987.
Collection:London Mathematical Society lecture note series ; 115.
Sujets:
Accès en ligne:Texto completo