Statement:

\(KW(\aleph_0,\aleph_0)\), The Kinna-Wagner Selection Principle for a denumerable family of denumerable sets: For every denumerable set \(M\) of denumerable sets 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: 357

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

This form's transferability is: Transferable

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: 10, 154, 342-n,

Back