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

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Dales, H. G. (Harold G.), 1944-
Other Authors: Woodin, W. H. (W. Hugh)
Format: Electronic eBook
Language:Inglés
Published: Cambridge ; New York : Cambridge University Press, 1987.
Series:London Mathematical Society lecture note series ; 115.
Subjects:
Forcing (Model theory)
Independence (Mathematics)
Axiomatic set theory.
Forcing (Théorie des modèles)
Indépendance (Mathématiques)
Théorie axiomatique des ensembles.
MATHEMATICS > Set Theory.
Verzamelingen (wiskunde)
Modeltheorie.
Logica.
Forcing (théorie des modèles)
Ensembles, Théorie axiomatique des.
Online Access:Texto completo
Description
Summary: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.
Item Description:Includes indexes.
Physical Description:1 online resource (xiii, 241 pages)
Bibliography:Includes bibliographical references (pages 229-234).
ISBN:9781107361409
1107361400
9780511662256
0511662254

Similar Items