Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge ; New York :
Cambridge University Press,
1987.
|
| Colección: | London Mathematical Society lecture note series ;
115. |
| Temas: | |
| Acceso en línea: | Texto completo |
| Sumario: | 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. |
|---|---|
| Notas: | Includes indexes. |
| Descripción Física: | 1 online resource (xiii, 241 pages) |
| Bibliografía: | Includes bibliographical references (pages 229-234). |
| ISBN: | 9781107361409 1107361400 9780511662256 0511662254 |