National Science Library of Georgia

Image from Google Jackets

An introduction to independence for analysts / H.G. Dales, W.H. Woodin.

By: Contributor(s): Material type: TextTextSeries: London Mathematical Society lecture note series ; 115.Publisher: Cambridge : Cambridge University Press, 1987Description: 1 online resource (xiii, 241 pages) : digital, PDF file(s)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9780511662256 (ebook)
Subject(s): Additional physical formats: Print version: : No titleDDC classification:
  • 511.3/22 19
LOC classification:
  • QA9.7 .D35 1987
Online resources: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

Title from publisher's bibliographic system (viewed on 05 Oct 2015).

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.
Copyright © 2023 Sciencelib.ge All rights reserved.