Statement:
If \(n\in\omega\), \(n\ge 2\) and \(N \subseteq \{ 1, 2, \ldots , n-1 \}\), \(N \neq\emptyset\), \(MC(\infty,n, N)\): If \(X\) is any set of \(n\)-element sets then there is a function \(f\) with domain \(X\) such that for all \(A\in X\), \(f(A)\subseteq A\) and \(|f(A)|\in N\).
Howard_Rubin_Number: 178-n-N
Parameter(s): This form depends on the following parameter(s): \(N\), \(n\),
This form's transferability is: Transferable
This form's negation transferability is: Negation Transferable
Article Citations:
Zuckerman-1969a: On choosing subsets of $n$-element sets
Zuckerman-1981: Choosing \(l\) element subsets of \(n\)-element sets
Book references
Note connections:
Note 53
In Zuckerman [1969a] and Zuckerman [1981], the relationship between versions of Form 178 (\(n,N\)) are considered.