Descriptive set theory and forcing : how to prove theorems about Borel sets the hard way / Arnold W. Miller
Type de document : Livre numériqueCollection : Lecture notes in logic, 4Langue : anglais.Éditeur : Berlin : Springer-Verlag, 1995ISBN: 3540600590.ISSN: 1431-5459.Sujet MSC : 03E15, Mathematical logic and foundations - Set theory, Descriptive set theory03E35, Mathematical logic and foundations - Set theory, Consistency and independence results
03E50, Mathematical logic and foundations - Set theory, Continuum hypothesis and Martin's axiom
03E45, Mathematical logic and foundations - Set theory, Inner models, including constructibility, ordinal definability, and core models
03-02, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundationsEn-ligne : OA - accès libre | Zentralblatt | MathSciNet
The subtitle of this book, "How to prove theorems about Borel sets the hard way'', reflects the style in which it is written: the author enlivens the presentation with witty quotes and entertaining asides. In the reviewer's opinion the subtitle does not reflect its contents: the author was able to include a substantial amount of descriptive set theory in some 120 pages. In spite of the large amount of material and presupposition of a fair knowledge of set theory, logic and model theory, the book keeps inviting the reader to continue reading.
The book is divided into four parts: I. On the length of Borel hierarchies, II. Analytic sets, III. Classical separation theorems, and IV. Gandy forcing... (MathSciNet)
There are no comments on this title.