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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Dales, H. G. (Harold G.), 1944-
Otros Autores: Woodin, W. H. (W. Hugh)
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