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: | 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 |
Ejemplares similares
-
Proper and improper forcing /
por: Shelah, Saharon
Publicado: (2016) -
Set theory : an introduction to independence proofs /
por: Kunen, Kenneth
Publicado: (1980) -
The core model /
por: Dodd, A. (Anthony), 1952-
Publicado: (1982) -
Elementy teorii mnogości /
por: Nowak, Marek (Writer on formal logic)
Publicado: (2018) -
The Covering property Axiom, CPA : a combinatorial core of the iterated perfect set model /
por: Ciesielski, Krzysztof, 1957-
Publicado: (2004)