Statement:
\(PKW(\aleph_{0},\ge 2,\infty)\), Partial Kinna-Wagner Principle: For every denumerable family \(F\) such that for all \(x\in F\), \(|x|\ge 2\), there is an infinite subset \(H\subseteq F\) and a function \(f\) such that for all \(x\in H\), \(\emptyset\neq f(x) \subsetneq x\).
Howard_Rubin_Number: 167
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:
Brunner-1982a: Dedekind-Endlichkeit und Wohlordenbarkeit
Book references
Note connections: