Statement:

\(KW(LO,LO)\), The Kinna-Wagner Selection Principle for a linearly ordered set of linearly orderable sets: For every linearly ordered set of linearly orderable sets \(M\) there is a function \(f\) such that for all \(A\in M\), if \(|A|>1\) then \(\emptyset\neq f(A)\subsetneq A\).

Howard_Rubin_Number: 400

Parameter(s): This form does not depend on parameters

This form's transferability is: Unknown

This form's negation transferability is: Negation Transferable

Article Citations:

Book references

Note connections:

The following forms are listed as conclusions of this form class in rfb1: 402, 403, 401,

Back