Statement:

\(KW(WO,LO)\), The Kinna-Wagner Selection Principle for a well ordered set of linearly orderable sets: For every well 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: 402

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: 324,

Back