Descriptive set theory and forcing : how to prove theorems about Borel sets the hard way

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the fourth publication in the Lecture...

Full description

Main Author: Miller, Arnold W.
Format: eBook
Language:English
Published: Cambridge Cambridge University Press 2016
Series:Lecture notes in logic
Subjects:
Online Access:
Collection: Cambridge Books Online - Collection details see MPG.ReNa
LEADER 01607nmm a2200277 u 4500
001 EB001419507
003 EBX01000000000000000911511
005 00000000000000.0
007 cr|||||||||||||||||||||
008 170425 ||| eng
020 |a 9781316716977 
050 4 |a QA248 
100 1 |a Miller, Arnold W. 
245 0 0 |a Descriptive set theory and forcing  |b how to prove theorems about Borel sets the hard way  |c Arnold W. Miller 
260 |a Cambridge  |b Cambridge University Press  |c 2016 
300 |a 129 pages  |b digital 
653 |a Set theory 
653 |a Forcing (Model theory) 
653 |a Borel sets 
041 0 7 |a eng  |2 ISO 639-2 
989 |b CBO  |a Cambridge Books Online 
490 0 |a Lecture notes in logic 
856 |u https://doi.org/10.1017/9781316716977  |x Verlag  |3 Volltext 
082 0 |a 511.322 
520 |a Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the fourth publication in the Lecture Notes in Logic series, Miller develops the necessary features of the theory of descriptive sets in order to present a new proof of Louveau's separation theorem for analytic sets. While some background in mathematical logic and set theory is assumed, the material is based on a graduate course given by the author at the University of Wisconsin, Madison, and is thus accessible to students and researchers alike in these areas, as well as in mathematical analysis