Mathematics - Sets, General Topology, & Categories, Logic & Foundations of Mathematics, Mathematics - General & Miscellaneous

An Introduction to Independence for Analysts

Name: An Introduction to Independence for Analysts
Author: H. Garth Dales
ISBN: 9780521339964

by H. Garth Dales, Hugh Woodin

Available on Bookshop Write a review

Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.

Overview

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.

Synopsis

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.