Hypothesis: HR 83:
\(E(I,II)\) Howard/Yorke [1989]: \(T\)-finite is equivalent to finite.
Conclusion: HR 98:
The set of all finite subsets of a Dedekind finite set is Dedekind finite. Jech [1973b] p 161 prob 11.5.
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal N2\) The Second Fraenkel Model | The set of atoms \(A=\{a_i : i\in\omega\}\) is partitioned into two element sets \(B =\{\{a_{2i},a_{2i+1}\} : i\in\omega\}\). \(\mathcal G \) is the group of all permutations of \( A \) that leave \( B \) pointwise fixed and \( S \) is the set of all finite subsets of \( A \). |
Code: 3
Comments: