Cohen \(\cal M35(\epsilon)\): David's Model | Historical notes
Description: In Cohen's model \(\cal M1\), define sets \(B_n=\{x\subset\omega: |x\ \Delta\ a_n| <\omega\vee |x\ \Delta\ \omega-a_n| \le\omega\}\) (where \(\Delta\) is the symmetric difference)
Parameter(s): This model depends on the following parameter(s): \(\alpha\), \(\alpha\): \(= \epsilon\) ordinal number
All Forms Known to be True in \(\cal M35(\epsilon)\):
416,
415,
414,
413,
179-epsilon,
144,
125,
0,
All Forms Known to be False in \(\cal M35(\epsilon)\):
430-p,
427,
391,
335-n,
334,
333,
292,
264,
239,
218,
202,
179-epsilon,
164,
149,
147,
133,
114,
112,
109,
95-F,
91,
90,
89,
67,
66,
28-p,
1,
A minimial list of forms whose truth in this model imply all others that are true in this model: 179
Falses that are implied by others list: 91-179
References for models trues falses list: References David [1980], notes 18 and 25.
Back