Fraenkel \(\cal N59\): de la Cruz-Hall model 2 | Back to this models page
Description: Let \(P = \{ A_i : i \in \omega \}\) be a family of pairwise disjoint sets each of cardinality \(\aleph_{0}\). The set \(A\) is \(A = \bigcup P \). \(G\) is the group of all permutations of \(A\) which fix \(P\) pointwise and supports are sets of the form \(S = \bigcup_{i \in n} A_i\) for \(n \in \omega\).
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 |
|---|
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 |
|---|
Historical background: pending
Back