Preface |
|
ix | |
Introduction |
|
1 | (6) |
|
Descriptive set theoretic background |
|
|
7 | (12) |
|
|
7 | (1) |
|
|
8 | (2) |
|
|
10 | (1) |
|
|
10 | (2) |
|
Transformation of analytic formulas |
|
|
12 | (1) |
|
Effective hierarchies of pointsets |
|
|
13 | (1) |
|
Characterization of σ0/1 sets |
|
|
14 | (1) |
|
|
15 | (1) |
|
|
16 | (3) |
|
Some theorems of descriptive set theory |
|
|
19 | (22) |
|
|
19 | (3) |
|
Trees and sets of the first projective level |
|
|
22 | (1) |
|
|
23 | (1) |
|
Uniformization and Kreisel Selection |
|
|
24 | (3) |
|
|
27 | (2) |
|
|
29 | (1) |
|
|
30 | (1) |
|
|
31 | (2) |
|
|
33 | (1) |
|
Choquet property of σ1/1 and the Gandy-Harrington topology |
|
|
34 | (2) |
|
Sets with countable sections |
|
|
36 | (2) |
|
Applications for Borel sets |
|
|
38 | (3) |
|
|
41 | (10) |
|
|
41 | (1) |
|
|
41 | (2) |
|
|
43 | (1) |
|
|
44 | (1) |
|
Characterization of polishable ideals |
|
|
45 | (2) |
|
Summable and density ideals |
|
|
47 | (2) |
|
Operations on ideals and Frechet ideals |
|
|
49 | (1) |
|
|
49 | (2) |
|
Introduction to equivalence relations |
|
|
51 | (12) |
|
Some examples of Borel equivalence relations |
|
|
51 | (1) |
|
Operations on equivalence relations |
|
|
52 | (2) |
|
Orbit equivalence relations of group actions |
|
|
54 | (1) |
|
Some examples of orbit equivalence relations |
|
|
55 | (2) |
|
|
57 | (1) |
|
Invariant and ergodic measures |
|
|
58 | (5) |
|
Borel reducibility of equivalence relations |
|
|
63 | (10) |
|
|
63 | (1) |
|
Injective Borel reducibility---embedding |
|
|
64 | (1) |
|
Borel, continuous, and Baire measurable reductions |
|
|
65 | (1) |
|
|
66 | (1) |
|
Diagram of Borel reducibility of key equivalence relations |
|
|
67 | (1) |
|
Reducibility and irreducibility on the diagram |
|
|
68 | (2) |
|
|
70 | (1) |
|
Borel ideals in the structure of Borel reducibility |
|
|
71 | (2) |
|
|
73 | (12) |
|
Equivalence relations E3 and T2 |
|
|
73 | (1) |
|
Discretization and generation by ideals |
|
|
74 | (2) |
|
Summables irreducible to density-0 |
|
|
76 | (3) |
|
|
79 | (1) |
|
|
80 | (2) |
|
|
82 | (3) |
|
Introduction to countable equivalence relations |
|
|
85 | (10) |
|
Several types of equivalence relations |
|
|
85 | (1) |
|
|
86 | (2) |
|
Assembling countable equivalence relations |
|
|
88 | (1) |
|
Countable equivalence relations and group actions |
|
|
89 | (1) |
|
Non-hyperfinite countable equivalence relations |
|
|
90 | (3) |
|
A sufficient condition of essential countability |
|
|
93 | (2) |
|
Hyperfinite equivalence relations |
|
|
95 | (12) |
|
Hyperfinite equivalence relations: The characterization theorem |
|
|
95 | (1) |
|
Proof of the characterization theorem |
|
|
96 | (5) |
|
Hyperfiniteness of tail equivalence relations |
|
|
101 | (2) |
|
Classification modulo Borel isomorphism |
|
|
103 | (1) |
|
Remarks on the classification theorem |
|
|
104 | (2) |
|
Which groups induce hyperfinite equivalence relations? |
|
|
106 | (1) |
|
More on countable equivalence relations |
|
|
107 | (12) |
|
|
108 | (1) |
|
Amenable equivalence relations |
|
|
109 | (2) |
|
Hyperfiniteness and amenability |
|
|
111 | (1) |
|
Treeable equivalence relations |
|
|
112 | (1) |
|
Above treeable. Free Borel countable equivalence relations |
|
|
113 | (6) |
|
The 1st and 2nd dichotomy theorems |
|
|
119 | (14) |
|
The 1st dichotomy theorem |
|
|
119 | (2) |
|
|
121 | (1) |
|
Structural and chaotic domains |
|
|
122 | (1) |
|
|
122 | (3) |
|
Restricted product forcing |
|
|
125 | (1) |
|
|
126 | (1) |
|
Construction of a splitting system |
|
|
127 | (1) |
|
The ideal of E0-small sets |
|
|
128 | (2) |
|
A forcing notion associated with E° |
|
|
130 | (3) |
|
Ideal £1 and the equivalence relation E1 |
|
|
133 | (14) |
|
|
133 | (2) |
|
E1: hypersmoothness and non-countability |
|
|
135 | (1) |
|
|
136 | (2) |
|
|
138 | (1) |
|
|
138 | (2) |
|
|
140 | (2) |
|
A forcing notion associated with E1 |
|
|
142 | (1) |
|
|
143 | (4) |
|
Actions of the infinite symmetric group |
|
|
147 | (8) |
|
Infinite symmetric group S∞ and isomorphisms |
|
|
147 | (1) |
|
|
148 | (1) |
|
Equivalence relations classifiable by countable structures |
|
|
149 | (1) |
|
Reduction to countable graphs |
|
|
150 | (1) |
|
Reduction of Borel classifiability to Tx |
|
|
151 | (4) |
|
|
155 | (12) |
|
Local orbits and turbulence |
|
|
155 | (1) |
|
Shift actions of summable ideals are turbulent |
|
|
156 | (1) |
|
|
157 | (1) |
|
``Generic'' reduction to Tx |
|
|
158 | (2) |
|
Ergodicity of turbulent actions w.r.t. Tx |
|
|
160 | (1) |
|
Inductive step of countable power |
|
|
161 | (2) |
|
Inductive step of the Fubini product |
|
|
163 | (1) |
|
|
163 | (1) |
|
Applications to the shift action of ideals |
|
|
164 | (3) |
|
The ideal £3 and the equivalence relation E3 |
|
|
167 | (14) |
|
Continual assembling of equivalence relations |
|
|
167 | (2) |
|
|
169 | (2) |
|
|
171 | (1) |
|
|
172 | (1) |
|
|
173 | (1) |
|
|
174 | (1) |
|
The construction of a splitting system: warmup |
|
|
175 | (1) |
|
The construction of a splitting system: the step |
|
|
175 | (3) |
|
A forcing notion associated with E3 |
|
|
178 | (3) |
|
Summable equivalence relations |
|
|
181 | (10) |
|
Classification of summable ideals and equivalence relations |
|
|
181 | (1) |
|
Grainy sets and the two cases |
|
|
182 | (1) |
|
|
183 | (2) |
|
|
185 | (1) |
|
The construction of a splitting system |
|
|
186 | (1) |
|
A forcing notion associated with E2 |
|
|
187 | (4) |
|
|
191 | (12) |
|
C0-equalities: definition |
|
|
191 | (1) |
|
Some examples and simple results |
|
|
192 | (1) |
|
C0-equalities and additive reducibility |
|
|
193 | (1) |
|
|
194 | (1) |
|
|
195 | (2) |
|
|
197 | (3) |
|
|
200 | (3) |
|
Pinned equivalence relations |
|
|
203 | (8) |
|
The definition of pinned equivalence relations |
|
|
203 | (2) |
|
|
205 | (1) |
|
Fubini product of pinned equivalence relations is pinned |
|
|
205 | (1) |
|
Complete left-invariant actions induce pinned relations |
|
|
206 | (1) |
|
All equivalence relations with Σ0/3 classes are pinned |
|
|
207 | (1) |
|
Another family of pinned ideals |
|
|
208 | (3) |
|
Reduction of Borel equivalence relations to Borel ideals |
|
|
211 | (12) |
|
|
211 | (1) |
|
Louveau-Rosendal transform |
|
|
212 | (2) |
|
Embedding and equivalence of normal trees |
|
|
214 | (2) |
|
Reduction to Borel ideals: first approach |
|
|
216 | (2) |
|
Reduction to Borel ideals: second approach |
|
|
218 | (3) |
|
|
221 | (2) |
|
Appendix A. On Cohen and Gandy-Harrington forcing over countable models |
|
|
223 | (8) |
|
A.1. Models of a fragment of ZFC |
|
|
223 | (2) |
|
A.2. Coding uncountable sets in countable models |
|
|
225 | (1) |
|
A.3. Forcing over countable models |
|
|
225 | (2) |
|
|
227 | (1) |
|
A.5. Gandy-Harrington forcing |
|
|
228 | (3) |
Bibliography |
|
231 | (4) |
Index |
|
235 | |