Hypothesis: HR 15:
\(KW(\infty,\infty)\) (KW), The Kinna-Wagner Selection Principle: For every set \(M\) there is a function \(f\) such that for all \(A\in M\), if \(|A|>1\) then \(\emptyset\neq f(A)\subsetneq A\). (See Form 81(\(n\)).
Conclusion: HR 105:
There is a partially ordered set \((A,\le)\) such that for no set \(B\) is \((B,\le)\) (the ordering on \(B\) is the usual injective cardinal ordering) isomorphic to \((A,\le)\).
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|---|
| \(\cal M11\) Forti/Honsell Model | Using a model of \(ZF + V = L\) for the ground model, the authors construct a generic extension, \(\cal M\), using Easton forcing which adds \(\kappa\) generic subsets to each regular cardinal \(\kappa\) |
Code: 3
Comments: