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...
Cote: | Libro Electrónico |
---|---|
Auteur principal: | |
Autres auteurs: | |
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 |