Form equivalence class Howard-Rubin Number: 88
Statement:
\(P(2,2)\): If \(X\) is a set and \(P\) is a property of subsets of \(X\) of 2 character (that is, \(\forall y\subseteq X (P(y)\) iff \(\forall z\subseteq y (|z|\le 2 \rightarrow P(z)))\)) then if every finite subset of \(X\) can be partitioned into two or fewer \(P\)-sets (that is, sets \(z\) such that \(P(z))\) then \(X\) can be partitioned into two or fewer \(P\)-sets.
Howard-Rubin number: 88 A
Citations (articles):
Cowen [1982]
Partition principles for properties of finite character
Connections (notes):
References (books):
Back