Edición de la obra An introduction to independence for analysts
| Autor | H. G. Dales |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | 1987 |
| Lugar | Cambridge, New York |
| Idioma | inglés |
| Páginas | 241 |
| ISBN-10 | 0521339960 |
| OCLC | 16582061 |
| LCCN | 87021777 |
| Serie | London Mathematical Society lecture note series ; · 115 |
| Número de Cutter | D141i |
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.