Hypothesis: HR 0: \(0 = 0\).
Conclusion: HR 45-n:
If \(n\in\omega-\{0,1\}\), \(C(\infty,n)\): Every set of \(n\)-element sets has a choice function.
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal M7(n)\) Generalization of \(\cal M7\) | Model <a href="/models/Cohen-2">\(\cal M7\)</a> can be generalized to \(n\) denumerable sets for \(1 \le n \in\omega\), then the Axiom of Choice for a denumerable number of \(n\) element sets, \(C(\aleph_0,n)\), is false for \(1 \le n \le \omega\) |
| \(\cal M37\) Monro's Model III | This is a generic extension of <a href="/models/Cohen-1">\(\cal M1\)</a> in which there is an amorphous set (<a href="/form-classes/howard-rubin-64">Form 64</a> is false) and \(C(\infty,2)\) (<a href="/form-classes/howard-rubin-88">Form 88</a>) is false |
| \(\cal M46(m,M)\) Pincus' Model VIII | This model depends on the natural number \(m\) and the set of natural numbers \(M\) which must satisfy Mostowski's condition: <ul type="none"> <li>\(S(M,m)\): For everydecomposition \(m = p_{1} + \ldots + p_{s}\) of \(m\) into a sum of primes at least one \(p_{i}\) divides an element of \(M\)</li> </ul> |
| \(\cal M47(n,M)\) Pincus' Model IX | This is the model of <a href="/articles/Pincus-1977a">Pincus [1977a]</a>, Theorem 2.1 \((E)\) |
| \(\cal N1\) The Basic Fraenkel Model | The set of atoms, \(A\) is denumerable; \(\cal G\) is the group of all permutations on \(A\); and \(S\) isthe set of all finite subsets of \(A\) |
| \(\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 \). |
| \(\cal N2(n)\) A generalization of \(\cal N2\) | This is a generalization of\(\cal N2\) in which there is a denumerable set of \(n\) element sets for\(n\in\omega - \{0,1\}\) |
| \(\cal N2^*(3)\) Howard's variation of \(\cal N2(3)\) | \(A=\bigcup B\), where\(B\) is a set of pairwise disjoint 3 element sets, \(T_i = \{a_i, b_i,c_i\}\) |
| \(\cal N2(n,M)\) Mostowski's variation of \(\cal N2(n)\) | \(A\), \(B\), and \(S\)are the same as in \(\cal N2(n)\) |
| \(\cal N2(\aleph_{\alpha})\) Jech's Model | This is an extension of \(\cal N2\) in which \(A=\{a_{\gamma} : \gamma\in\omega_{\alpha}\}\); \(B\) is the corresponding set of \(\aleph_{\alpha}\) pairs of elements of \(A\); \(\cal G\)is the group of all permutations on \(A\) that leave \(B\) point-wise fixed;and \(S\) is the set of all subsets of \(A\) of cardinality less than\(\aleph_{\alpha}\) |
| \(\cal N12(\aleph_1)\) A variation of Fraenkel's model, \(\cal N1\) | Thecardinality of \(A\) is \(\aleph_1\), \(\cal G\) is the group of allpermutations on \(A\), and \(S\) is the set of all countable subsets of \(A\).In \(\cal N12(\aleph_1)\), every Dedekind finite set is finite (9 is true),but the \(2m=m\) principle (3) is false |
| \(\cal N22(p)\) Makowski/Wi\'sniewski/Mostowski Model | (Where \(p\) is aprime) Let \(A=\bigcup\{A_i: i\in\omega\}\) where The \(A_i\)'s are pairwisedisjoint and each has cardinality \(p\) |
| \(\cal N24\) Hickman's Model I | This model is a variation of \(\cal N2\) |
| \(\cal N24(n)\) An extension of \(\cal N24\) to \(n\)-element sets, \(n>1\).\(A=\bigcup B\), where \( B=\{b_i: i\in\omega\}\) is a pairwise disjoint setof \(n\)-element sets | \(\cal G\) is the group of all permutations of \(A\)which are permutations of \(B\); and \(S\) is the set of all finite subsets of\(A\) |
| \(\cal N24(n,LO)\) Truss' Model III | This is a variation of \(\cal N24(n)\)in which the set \(B\) is linearly ordered |
| \(\cal N26\) Brunner/Pincus Model, a variation of \(\cal N2\) | The set ofatoms \(A=\bigcup_{n\in\omega} P_n\), where the \(P_n\)'s are pairwisedisjoint denumerable sets; \(\cal G\) is the set of all permutations\(\sigma\) on \(A\) such that \(\sigma(P_n)=P_n\), for all \(n\in\omega\); and \(S\)is the set of all finite subsets of \(A\) |
| \(\cal N43\) Brunner's Model II | The set of atoms \(A=\bigcup\{P_n: n\in\omega\}\), where \(|P_n|=n+1\) for each \(n\in\omega\) and the \(P_n\)'s arepairwise disjoint |
| \(\cal N49\) De la Cruz/Di Prisco Model | Let \(A = \{ a(i,p) : i\in\omega\land p\in {\Bbb Q}/{\Bbb Z} \}\) |
| \(\cal N50(E)\) Brunner's Model III | \(E\) is a finite set of prime numbers.For each \(p\in E\) and \(n\in\omega\), let \(A_{p,n}\) be a set of atoms ofcardinality \(p^n\) |
Code: 3
Comments: