Statement:
Restricted Kinna Wagner Principle: For every infinite set \(X\) there is an infinite subset \(Y\) of \(X\) and a function \(f\) such that for every \(z\subseteq Y\), if \(|z| \ge 2\) then \(f(z)\) is a non-empty proper subset of \(z\).
Howard_Rubin_Number: 376
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:
De la Cruz-Di Prisco-1998a: Weak choice principles
Book references
Note connections: