Preface |
|
ix | |
|
|
1 | (32) |
|
1.1 Outline of the subject |
|
|
1 | (1) |
|
1.2 Equivalence relation results |
|
|
2 | (3) |
|
1.3 Independence: by topic |
|
|
5 | (5) |
|
1.4 Independence: by model |
|
|
10 | (2) |
|
1.5 Independence: by preservation theorem |
|
|
12 | (3) |
|
|
15 | (10) |
|
1.7 Notation and terminology |
|
|
25 | (8) |
|
Part I Equivalence relations |
|
|
33 | (70) |
|
Chapter 2 The virtual realm |
|
|
35 | (38) |
|
2.1 Virtual equivalence classes |
|
|
35 | (2) |
|
|
37 | (2) |
|
2.3 Classification: general theorems |
|
|
39 | (2) |
|
2.4 Classification: specific examples |
|
|
41 | (4) |
|
|
45 | (13) |
|
2.6 Restrictions on partial orders |
|
|
58 | (3) |
|
|
61 | (3) |
|
|
64 | (9) |
|
|
73 | (20) |
|
3.1 Independent functions |
|
|
73 | (2) |
|
3.2 Examples and operations |
|
|
75 | (3) |
|
3.3 Placid equivalence relations |
|
|
78 | (1) |
|
3.4 Examples and operations |
|
|
79 | (4) |
|
|
83 | (3) |
|
3.6 A variation for measure |
|
|
86 | (7) |
|
Chapter 4 Nested sequences of models |
|
|
93 | (10) |
|
|
93 | (1) |
|
4.2 Coherent sequences of models |
|
|
93 | (3) |
|
4.3 Choice-coherent sequences of models |
|
|
96 | (7) |
|
Part II Balanced extensions of the Solovay model |
|
|
103 | (220) |
|
Chapter 5 Balanced Suslin forcing |
|
|
105 | (12) |
|
|
105 | (3) |
|
5.2 Balanced virtual conditions |
|
|
108 | (6) |
|
5.3 Weakly balanced Suslin forcing |
|
|
114 | (3) |
|
Chapter 6 Simplicial complex forcings |
|
|
117 | (18) |
|
|
117 | (1) |
|
|
117 | (7) |
|
|
124 | (4) |
|
|
128 | (7) |
|
Chapter 7 Ultrafilter forcings |
|
|
135 | (10) |
|
|
135 | (1) |
|
7.2 Fubini powers of the Frechet ideal |
|
|
136 | (2) |
|
7.3 Ramsey sequences of structures |
|
|
138 | (3) |
|
7.4 Semigroup ultrafilters |
|
|
141 | (4) |
|
|
145 | (34) |
|
|
145 | (3) |
|
|
148 | (9) |
|
8.3 Discontinuous homomorphisms |
|
|
157 | (2) |
|
8.4 Automorphisms of (ω) modulo finite |
|
|
159 | (1) |
|
|
160 | (2) |
|
|
162 | (3) |
|
8.7 Saturated models on quotient spaces |
|
|
165 | (4) |
|
|
169 | (1) |
|
8.9 Side condition forcings |
|
|
170 | (3) |
|
8.10 Weakly balanced variations |
|
|
173 | (6) |
|
Chapter 9 Preserving cardinalities |
|
|
179 | (34) |
|
9.1 The well-ordered divide |
|
|
179 | (3) |
|
|
182 | (6) |
|
|
188 | (5) |
|
|
193 | (12) |
|
|
205 | (6) |
|
|
211 | (2) |
|
Chapter 10 Uniformization |
|
|
213 | (14) |
|
10.1 Tethered Suslin forcing |
|
|
213 | (1) |
|
10.2 Uniformization theorems |
|
|
214 | (7) |
|
|
221 | (6) |
|
Chapter 11 Locally countable structures |
|
|
227 | (42) |
|
11.1 Central objects and notions |
|
|
227 | (6) |
|
|
233 | (4) |
|
|
237 | (7) |
|
|
244 | (6) |
|
|
250 | (4) |
|
|
254 | (4) |
|
|
258 | (4) |
|
11.8 Compactly balanced posets |
|
|
262 | (7) |
|
Chapter 12 The Silver divide |
|
|
269 | (30) |
|
12.1 Perfectly balanced forcing |
|
|
269 | (5) |
|
12.2 Bernstein balanced forcing |
|
|
274 | (11) |
|
12.3 n-Bernstein balanced forcing |
|
|
285 | (7) |
|
12.4 Existence of generic filters |
|
|
292 | (7) |
|
Chapter 13 The arity divide |
|
|
299 | (14) |
|
13.1 m, n-centered and balanced forcings |
|
|
299 | (1) |
|
13.2 Preservation theorems |
|
|
300 | (7) |
|
|
307 | (6) |
|
Chapter 14 Other combinatorics |
|
|
313 | (10) |
|
14.1 Maximal almost disjoint families |
|
|
313 | (1) |
|
14.2 Unbounded linear suborders |
|
|
314 | (1) |
|
14.3 Measure and category |
|
|
315 | (3) |
|
14.4 The Ramsey ultrafilter extension |
|
|
318 | (5) |
Bibliography |
|
323 | (6) |
Index |
|
329 | |