Hypothesis: HR 135:
If \(X\) is a \(T_2\) space with at least two points and \(X^{Y}\) is hereditarily metacompact then \(Y\) is countable. (A space is metacompact if every open cover has an open point finite refinement. If \(B\) and \(B'\) are covers of a space \(X\), then \(B'\) is a refinement of \(B\) if \((\forall x\in B')(\exists y\in B)(x\subseteq y)\). \(B\) is point finite if \((\forall t\in X)\) there are only finitely many \(x\in B\) such that \(t\in x\).) van Douwen [1980]
Conclusion: HR 323:
\(KW(\infty,WO)\), The Kinna-Wagner Selection Principle for a family of well orderable sets: For every set \(M\) of well orderable sets there is a function \(f\) such that for all \(A\in M\), if \(|A| > 1\) then \(\emptyset\neq f(A)\subsetneq A\). (See Form 15.)
List of models where hypothesis is true and the conclusion is false:
Name | Statement |
---|---|
\(\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(\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_2)\) Another variation of \(\cal N1\) | Change "\(\aleph_1\)" to "\(\aleph_2\)" in \(\cal N12(\aleph_1)\) above |
Code: 5
Comments: