Cohen M2: Feferman's model | Back to this models page
Description: Add a denumerable number of generic reals to the base model, but do not collect them
When the book was first being written, only the following form classes were known to be true in this model:
Form Howard-Rubin Number | Statement |
---|---|
40 | C(WO,∞): Every well orderable set of non-empty sets has a choice function. Moore, G. [1982], p 325. |
142 | ¬PB: There is a set of reals without the property of Baire. Jech [1973b], p. 7. |
165 | C(WO,WO): Every well ordered family of non-empty, well orderable sets has a choice function. |
204 | For every infinite X, there is a function from X onto 2X. |
When the book was first being written, only the following form classes were known to be false in this model:
Form Howard-Rubin Number | Statement |
---|---|
70 | There is a non-trivial ultrafilter on ω. Jech [1973b], prob 5.24. |
88 | C(∞,2): Every family of pairs has a choice function. |
152 | Dℵ0: Every non-well-orderable set is the union of a pairwise disjoint, well orderable family of denumerable sets. (See note 27 for Dκ, κ a well ordered cardinal.) |
163 | Every non-well-orderable set has an infinite, Dedekind finite subset. |
203 | C(disjoint,⊆R): Every partition of P(ω) into non-empty subsets has a choice function. |
222 | There is a non-principal measure on P(ω). |
274 | There is a cardinal number x and an n∈ω such that ¬(x adjnx2). (The expression ``x adjnya" means there are cardinals z0,…,zn such that z0=x and zn=y and for all i, 0≤i<n, zi<zi+1 and if zi<z≤zi+1, then z=zi+1.) (Compare with [0 A]). |
385 | Countable Ultrafilter Theorem: Every proper filter with a countable base over a set S (in P(S)) can be extended to an ultrafilter. |
Historical background: Feferman has shown that in this model there is an infinite set of pairs with no choice function (88 is false), there is a partition of P(ω) with no choice function(203 is false) and the countable ultrafilter theorem (385) is false.Truss [1978] has shown that in this model C(WO,∞) (40)is true. (He gives credit to Solovay for the proof.) In Truss [1978] it is also shown that P(ω) does not have anon-trivial ultrafilter (70 is false), and for every infinite set xthere is a mapping of x onto 2×x (204) is true. (See Note 65.)Pincus shows that there is a set of reals that does not have the propertyof Baire (142 is true), but P(ω) has no nontrivial real valuedmeasure which is 0 on finite sets (222 is false). (The proof ofForm 142requires that the Continuum Hypothesis holds in the outer model.) Since40 implies 8 (C(ℵ0,∞)), it follows from Brunner [1982a] that in this model there is a set that cannot be well orderedand does not have an infinite Dedekind finite subset, (163 is false).(Form 8 plusForm 163 iff AC.) Truss [1974b] proves that thereis a sequence x1,x2,⋯ of cardinals such that for each n,xn=ℵn+1+2ℵ0 adj ℵn+1+ℵ2⋅\2ℵ0 adj ℵn+1+ℵ3⋅ 2ℵ0 adj⋯ adj ℵn+1+ℵn+1⋅2ℵ0=x2n. (Thesymbol x adj y means x<y and there is nothing between x andy.) It follows that 274 is false.
Back