Lecture Notes in Logic

Descriptive Set Theory and Forcing: How to Prove Theorems about Borel Sets the Hard Way

Arnold W. Miller

Book information

Author
Arnold W. Miller

Publication information
Lecture Notes in Logic, Volume 4
Berlin: Springer-Verlag, 1995
130 pp.

Dates
Publication date: 1995
First available in Project Euclid: 23 February 2009

Permanent link to this book
https://projecteuclid.org/euclid.lnl/1235423343

ISBN:
3-540-60059-0

Mathematical Reviews (MathSciNet):
MR 1439251

Subjects
Primary: 03E15: Descriptive set theory [See also 28A05, 54H05] 03E35: Consistency and independence results

Rights
Copyright © 1995, Association for Symbolic Logic

Citation
Arnold W. Miller, Descriptive Set Theory and Forcing: How to Prove Theorems about Borel Sets the Hard Way (Berlin: Springer-Verlag, 1995)

Select/deselect all
  • Export citations
Abstract PDF
Abstract PDF

I: On the length of Borel hierarchies

Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF

II: Analytic sets

Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF

III: Classical separation theorems

Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF

IV: Gandy forcing

Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Abstract PDF
Select/deselect all
  • Export citations