Fraenkel \(\cal N59\): de la Cruz-Hall model 2 | Historical notes
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\).
Parameter(s): This model does not depend on parameters
All Forms Known to be True in \(\cal N59\):
320,
191,
91,
34,
All Forms Known to be False in \(\cal N59\):
192,
15,
420,
A minimial list of forms whose truth in this model imply all others that are true in this model:
Falses that are implied by others list:
References for models trues falses list: De la Cruz, Hall, Howard, Keremedis, Rubin [2002A], Note 118
Back