On pairs of definable orthogonal families (Q1022568): Difference between revisions

Two families \(\mathcal A\) and \(\mathcal B\) of infinite subsets of the natural numbers are said to be orthogonal if \(A\cap B\) is finite for each \(A\in{\mathcal A}\) and \(B\in {\mathcal B}\). A hereditary family \(\mathcal A\) of infinite subsets of the naturals is an M-family if for every sequence \((A_n)_n\) in \(\mathcal A\) there is \(A\in {\mathcal A}\) whose all but finitely many elements are in \(\bigcup_{i\geq n}A_i\) for all \(n\). The authors study the structure of a pair of orthogonal hereditary families \(\mathcal A\) and \(\mathcal B\), where \(\mathcal A\) is analytic and \(\mathcal B\) is \(C\)-measurable and an M-family. (A subset of a Polish space is \(C\)-measurable if it belongs to the \(\sigma\)-algebra generated by Borel sets and closed under the Souslin operation.)