Copyright © 1995, Association for
Symbolic Logic.
Miscellaneous Frontmatter
Chapter 1: What are the reals, anyway?
5-6
I: On the length of Borel hierarchies
Chapter 2: Borel Hierarchy
7-10
Chapter 3: Abstract Borel hierarchies
11-12
Chapter 4: Characteristic function of a sequence
13-15
Chapter 5: Martin's Axiom
16-17
Chapter 6: Generic $\emph{G}_{\delta}$
18-20
Chapter 7: $\alpha$-forcing
21-25
Chapter 8: Boolean algebras
26-29
Chapter 9: Borel order of a field of sets
30-31
Chapter 10: CH and orders of separable metric spaces
32-33
Chapter 11: Martin-Solovay Theorem
34-37
Chapter 12: Boolean algebra of order $\omega_1$
38-41
Chapter 13: Luzin sets
42-45
Chapter 14: Cohen real model
46-56
Chapter 15: The random real model
57-63
Chapter 16: Covering number of an ideal
64-67
II: Analytic sets
Chapter 17: Analytic sets
68-70
Chapter 18: Constructible well-orderings
71
Chapter 19: Hereditarily countable sets
72-73
Chapter 20: Shoenfield Absoluteness
74-75
Chapter 21: Mansfield-Solovay Theorem
76-77
Chapter 22: Uniformity and Scales
78-81
Chapter 23: Martin's axiom and Constructibility
82-83
Chapter 24: $\Sigma^1_2$ well-orderings
84
Chapter 25: Large $\Pi^1_2$ sets
85-87
III: Classical separation theorems
Chapter 26: Souslin-Luzin Separation Theorem
88-89
Chapter 27: Kleene Separation Theorem
90-92
Chapter 28: $\Pi^1_1$-Reduction
93-94
Chapter 29: $\Delta^1_1$-codes
95-97
IV: Gandy forcing
Chapter 30: $\Pi^1_1$ equivalence relations
98-102
Chapter 31: Borel metric spaces and lines in the plane
103-106
Chapter 32: $\Sigma^1_1$ equivalence relations
107-110
Chapter 33: Louveau's Theorem
111-116
Chapter 34: Proof of Louveau's Theorem
117-120
