Finite union theorem with restrictions (Q1106223): Difference between revisions

The aim of this paper is to prove the following extension of the Folkman- Rado-Sanders Finite Union Theorem: For every positive integers r and k there exists a family \({\mathcal S}\) of sets having the following properties: i) if \(S_ 1,S_ 2,...,S_{k+1}\) are distinct pairwise disjoint elements of \({\mathcal S}\) then there exists nonempty \(I\subset \{1,2,...,k+1\}\) with \(\cup_{i\in I}S_ i\equiv {\mathcal S},\) ii) if \({\mathcal S}={\mathcal S}_ 1\cup...\cup {\mathcal S}_ r\) is an arbitrary partition then there exists \(j\leq r\) and pairwise disjoint sets \(S_ 1,S_ 2,...,S_ k\in {\mathcal S}_ j\), such that \(\cup_{i\in I}S_ i\in {\mathcal S}_ j\) for every nonempty \(I\subset \{1,2,...,k\}\).