Title Descriptive set theory and forcing : how to prove theorems about borel sets the hard way / Arnold W. Miller.

Publication Info.

Cambridge : Cambridge University Press, 2017.

Online access
Online ebook via EBSCO. Access restricted to current Rider University students, faculty, and staff.
Instructions for reading/downloading the EBSCO version of this ebook

Item Status

Description	1 online resource.
Physical Medium	polychrome
Description	text file
Series	Lecture notes in logic ; 4
	Lecture notes in logic ; 4.
Summary	These notes develop the theory of descriptive sets, leading up to a new proof of Louveau's separation theorem for analytic sets.
Contents	I -- On the length of Borel hierarchies -- Borel Hierarchy -- Abstract Borel hierarchies -- Characteristic function of a sequence -- Martin's Axiom -- Generic G[textdelta] -- [textalpha]-forcing -- Boolean algebras -- Borel order of a field of sets -- CH and orders of separable metric spaces -- Martin-Solovay Theorem -- Boolean algebra of order [textomega] -- Luzin sets -- Cohen real model -- The random real model -- Covering number of an ideal
	II -- Analytic sets -- Analytic sets -- Constructible well-orderings -- Hereditarily countable sets -- Shoenfield Absoluteness -- Mansfield-Solovay Theorem -- Uniformity and Scales -- Martin's axiom and Constructibility -- well-orderings -- Large sets
	III -- Classical Separation Theorems -- Souslin-Luzin Separation Theorem -- Kleene Separation Theorem -- -Reduction -- -codes
	IV -- Gandy Forcing -- equivalence relations -- Borel metric spaces and lines in the plane -- equivalence relations -- Louveau's Theorem -- Proof of Louveau's Theorem.
Local Note	eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America
Subject	Set theory.
	Set theory.
	Forcing (Model theory)
	Forcing (Model theory)
	Borel sets.
	Borel sets.
	MATHEMATICS -- General.
Genre/Form	Electronic books.
Other Form:	Print version: MILLER, ARNOLD W. DESCRIPTIVE SET THEORY AND FORCING. [Place of publication not identified] : CAMBRIDGE UNIV Press, 2016 1107168066 (OCoLC)959592886
ISBN	9781316754757 (electronic book)
	1316754758 (electronic book)
	1316752828
	9781316752821
	9781316716977
	131671697X
	9781107168060
	1107168066

Title Descriptive set theory and forcing : how to prove theorems about borel sets the hard way / Arnold W. Miller.

Item Status

Library Links

Search Tools