On pairs of definable orthogonal families (Q1022568)

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.)