Amazon cover image
Image from Amazon.com

An introduction to independence for analysts

By: Contributor(s): Material type: TextTextLanguage: English Series: London Mathematical Society lecture note series ; 115Publication details: New York Cambridge University Press 1987Description: xiii, 241pISBN:
  • 0521339960
Subject(s): 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 type: BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Home library Call number Materials specified Status Date due Barcode
IMSc Library 510.6 DAL (Browse shelf(Opens below)) Available 24786

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

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India