|
|
1 | (17) |
|
1.1 The nonstationary ideal on (Omega)(1) |
|
|
2 | (4) |
|
1.2 The partial order P(max) |
|
|
6 | (4) |
|
|
10 | (3) |
|
1.4 Extensions of inner models beyond L(R) |
|
|
13 | (1) |
|
|
14 | (4) |
|
|
18 | (30) |
|
2.1 Weakly homogeneous trees and scales |
|
|
18 | (10) |
|
|
28 | (3) |
|
|
31 | (2) |
|
|
33 | (4) |
|
2.5 Reflection Principles |
|
|
37 | (3) |
|
|
40 | (8) |
|
3 The nonstationary ideal |
|
|
48 | (67) |
|
3.1 The nonstationary ideal and (Delta)^(1)(2) |
|
|
48 | (58) |
|
3.2 The nonstationary ideal and CH |
|
|
106 | (9) |
|
|
115 | (69) |
|
|
115 | (20) |
|
4.2 The partial order P(max) |
|
|
135 | (49) |
|
|
184 | (107) |
|
|
184 | (3) |
|
5.2 Martin's Maximum, (Phi)AC and (XXX)(Omega)((Omega)(2)) |
|
|
187 | (10) |
|
|
197 | (7) |
|
5.4 The stationary tower and P(max) |
|
|
204 | (22) |
|
|
226 | (11) |
|
|
237 | (6) |
|
|
243 | (36) |
|
5.8 Homogeneity properties of (Rho)((Omega)(1))/(XXX)(NS) |
|
|
279 | (12) |
|
|
291 | (141) |
|
|
292 | (18) |
|
6.2 Variations for obtaining (Omega)(1) -dense ideals |
|
|
310 | (117) |
|
|
310 | (28) |
|
|
338 | (36) |
|
|
374 | (7) |
|
6.2.4 Weak Kurepa trees and Qmax |
|
|
381 | (7) |
|
|
388 | (21) |
|
6.2.6 Null sets and the nonstationary ideal |
|
|
409 | (18) |
|
6.3 Nonregular ultrafilters on (Omega)(1) |
|
|
427 | (5) |
|
|
432 | (66) |
|
|
432 | (15) |
|
|
447 | (51) |
|
8 (XXX) principles for (Omega)(1) |
|
|
498 | (119) |
|
8.1 Condensation Principles |
|
|
501 | (6) |
|
|
507 | (78) |
|
8.3 The principles, (XXX)^(+)(NS) and (XXX)^(++)(NS) |
|
|
585 | (32) |
|
9 Extensions of L((Gamma), R)) |
|
|
617 | (152) |
|
|
618 | (8) |
|
9.2 The P(max)-extension of L((Gamma), R)) |
|
|
626 | (20) |
|
|
627 | (4) |
|
9.2.2 Martin's Maximum^(++)(c) |
|
|
631 | (11) |
|
9.2.3 (XXX)(Omega)((Omega(2)) |
|
|
642 | (4) |
|
9.3 The Qmax -extension of L((Gamma), R) |
|
|
646 | (3) |
|
|
649 | (15) |
|
9.5 Weak and Strong Reflection Principles |
|
|
664 | (16) |
|
9.6 Strong Chang's Conjecture |
|
|
680 | (17) |
|
|
697 | (72) |
|
|
769 | (152) |
|
10.1 Forcing notions and large cardinals |
|
|
769 | (7) |
|
10.2 Coding into L((Rho)(Omega)(1))) |
|
|
776 | (86) |
|
10.2.1 Coding by sets, S^(XXX) |
|
|
778 | (5) |
|
|
783 | (32) |
|
|
815 | (31) |
|
|
846 | (16) |
|
10.3 Bounded forms of Martin's Maximum |
|
|
862 | (24) |
|
|
886 | (8) |
|
10.5 (Omega)-logic and the Continuum Hypothesis |
|
|
894 | (14) |
|
|
908 | (8) |
|
10.7 The Effective Singular Cardinals Hypothesis |
|
|
916 | (5) |
|
|
921 | (6) |
Bibliography |
|
927 | (4) |
Index |
|
931 | |