ENGLISH

An introduction to independence for analysts

By H. G. Dales , W. H. Woodin

Book information

Publisher
CUP
Year
1987
ISBN
9780521339964, 0521339960
LCC
QA9.7 .D35 1987
Open Library ID
OL2392313M
Language
english
Format
DJVU
Filesize
1 MB (1148394 bytes)
Series
London Mathematical Society Lecture Note Series
Pages
255\255
Topic
Mathematics Logic
Library
Kolxo3
DPI
300
Time added
2010-07-29 05:14:56

Description

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 the first accessible account of this result, and it includes a discussion, of Martin's Axiom and of the independence of CH.

Similar books