Overview

This text is an advanced graduate course with some knowledge of forcing is assumed along with some elementary mathematical logic and set theory. The first half of the text deals with the general area of Borel hierarchies. What are the possible lengths of a Borel hierarchy in a separable metric space? Lebesgue showed that in an uncountable complete separable metric space the Borel hierarchy has uncountably many distinct levels, but for incomplete spaces the answer is independent. The second half includes Harrington's Theorem - it is consistent to have sets on the second level of the projective hierarchy size less than on the continuum and a proof and applications of Louveau's Theorem on hyperprojective parameters.

Full Product Details

9783540600596

Table of Contents

Reviews

""Miller includes interesting historical material and references. His taste for slick, elegant proofs makes the book pleasant to read. The author makes good use of his sense of humor...Most readers will enjoy the comments, footnotes, and jokes scattered throughout the book."" Studia Logica

Miller includes interesting historical material and references. His taste for slick, elegant proofs makes the book pleasant to read. The author makes good use of his sense of humor...Most readers will enjoy the comments, footnotes, and jokes scattered throughout the book. Studia Logica

Author Information

Tab Content 6

Countries Available